Melvin Chris Fitting
Popular items by Melvin Chris Fitting
View all offers-
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
Fitting, Melvin
Item prices starting from
View 18 offers£ 30.74
-
Raymond Smullyan on Self Reference: 14 (Outstanding Contributions to Logic, 14)
Item prices starting from
View 29 offers£ 49.77
-
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
Fitting, M.
Item prices starting from
View 28 offers£ 67.61
-
First-Order Modal Logic: 480 (Synthese Library, 480)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 20 offers£ 89.71
Also find
New -
First-Order Modal Logic: 277 (Synthese Library)
Fitting, M.
Item prices starting from
View 5 offers£ 110
-
Fundamentals of Generalized Recursion Theory
Fitting, Melvin
Item prices starting from
View 2 offers£ 166.69
-
Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 4 offers£ 63.79
-
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 22 offers£ 53.15
