For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Melvin Fitting
Melvin Fitting is the author of "Proof Methods for Modal and Intuitionistic Logic", "Types, Tableaus, and Gödel's God", "Raymond Smullyan on Self Reference" and "First-Order Logic and Automated Theorem Proving".
Books by Melvin Fitting
View more
First-Order Logic...
Fitting, Melvin
Paperback:
$99.99
Numbers
Fitting, Melvin
Paperback:
$16.00
First-Order Logic...
Fitting, Melvin
Paperback:
$99.00
First-Order Logic...
Fitting, Melvin
Hardback:
$99.00
First-Order Modal...
Fitting, Melvin
Paperback:
$249.99
Raymond Smullyan ...
Fitting Melvin
Hardback:
$109.99
Types, Tableaus, ...
Fitting, Melvin
Hardback:
$109.99
Justification Log...
Artemov, Sergei
Hardback:
$135.00
Beyond Two
Fitting Melvin
Hardback:
$169.99
Set Theory and th...
Smullyan, Raymond
Paperback:
$15.95
Incompletetude Na...
Fitting, Melvin
Paperback:
$15.50
Proof Methods for...
Fitting, Melvin
Hardback:
$349.99