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£ 31.21
-
First-Order Modal Logic: 480 (Synthese Library, 480)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 20 offers£ 90.89
Also find
New -
Fundamentals of Generalized Recursion Theory
Fitting, Melvin
Item prices starting from
View 2 offers£ 168.89
-
Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 5 offers£ 64.77
-
Raymond Smullyan on Self Reference: 14 (Outstanding Contributions to Logic, 14)
Item prices starting from
View 28 offers£ 49.77
-
First-Order Modal Logic: 277 (Synthese Library)
Fitting, M.
Item prices starting from
View 5 offers£ 110
-
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
Fitting, M.
Item prices starting from
View 30 offers£ 68.65
-
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 21 offers£ 52.79
