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

Justification Log...
Artemov, Sergei
Hardback: $135.00

First-Order Logic...
Fitting, Melvin
Paperback: $99.00

Proof Methods for...
Fitting, Melvin
Hardback: $349.99

First-Order Logic...
Fitting, Melvin
Paperback: $99.99

Incompletetude Na...
Fitting, Melvin
Paperback: $15.50

Numbers
Fitting, Melvin
Paperback: $16.00

Set Theory and th...
Smullyan, Raymond
Paperback: $15.95

Raymond Smullyan ...
Fitting Melvin
Hardback: $119.99

Types, Tableaus, ...
Fitting, Melvin
Hardback: $109.99

First-Order Modal...
Fitting, Melvin
Paperback: $249.99

Beyond Two
Fitting Melvin
Hardback: $169.99

First-Order Logic...
Fitting, Melvin
Hardback: $99.00