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 18 offersUS$ 40.00
-
First-Order Modal Logic (Synthese Library)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 22 offersUS$ 121.85
Also find
New -
Fundamentals of Generalized Recursion Theory
Fitting, Melvin
Item prices starting from
View 2 offersUS$ 226.41
-
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 3 offersUS$ 83.00
-
-
First-Order Modal Logic (Synthese Library, 277) (Volume 0)
Fitting, M.; Mendelsohn, Richard L.
Item prices starting from
View 5 offersUS$ 153.27
-
Types, Tableaus, and Gödel’s God (Trends in Logic)
Fitting, M.
Item prices starting from
View 31 offersUS$ 112.31
-
Proof Methods for Modal and Intuitionistic Logics (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 25 offersUS$ 72.82
