Books by Melvin Fitting
First-Order Logic and Automated Theorem Proving
-20% with code BOOKS
In stock at our supplier
Justification Logic
Melvin Fitting, Sergei Artemov
-20% with code BOOKS
In stock at our supplier
First-Order Modal Logic
Richard L. Mendelsohn, Melvin Fitting
-20% with code BOOKS
In stock at our supplier
First-Order Modal Logic
Richard L. Mendelsohn, Melvin Fitting
-20% with code BOOKS
In stock at our supplier
Raymond Smullyan on Self Reference
-20% with code BOOKS
In stock at our supplier
Beyond Two: Theory and Applications of Multiple-Valued Logic
-20% with code BOOKS
In stock at our supplier