Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search 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
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