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 15 offers£ 38.09
-
Raymond Smullyan on Self Reference: 14 (Outstanding Contributions to Logic, 14)
Item prices starting from
View 24 offers£ 48.30
-
Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 6 offers£ 61.04
-
First-Order Modal Logic: 277 (Synthese Library)
Fitting, M.
Item prices starting from
View 4 offers£ 89.06
-
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
Fitting, M.
Item prices starting from
View 24 offers£ 64.64
-
First-Order Modal Logic: 480 (Synthese Library, 480)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 14 offers£ 91.18
Also find
New -
Fundamentals of Generalized Recursion Theory (Studies in Logic and the Foundations of Mathematics)
Fitting, Melvin
Item prices starting from
View 2 offers£ 169.42
-
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 24 offers£ 53.77
