Melvin Fitting
Popular items by Melvin Fitting
View all offers-
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
Fitting, Melvin
Item prices starting from
View 16 offersUS$ 26.88
-
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 1 offerUS$ 300.00
Also find
New -
First-Order Modal Logic (Synthese Library, 480)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 21 offersUS$ 117.68
Also find
New -
Fundamentals of Generalized Recursion Theory
Fitting, Melvin
Item prices starting from
View 2 offersUS$ 218.67
-
First-Order Modal Logic (Synthese Library) (Volume 0)
Fitting, M.; Mendelsohn, Richard L.
Item prices starting from
View 8 offersUS$ 96.83
-
Types, Tableaus, and Gödel’s God (Trends in Logic, 12)
Fitting, M.
Item prices starting from
View 29 offersUS$ 108.47
-
Proof Methods for Modal and Intuitionistic Logics (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 23 offersUS$ 93.46
