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.46
-
First-Order Modal Logic: 480 (Synthese Library, 480)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 22 offers£ 90.07
Also find
New -
Fundamentals of Generalized Recursion Theory
Fitting, Melvin
Item prices starting from
View 2 offers£ 167.37
-
Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 3 offers£ 63.20
-
Raymond Smullyan on Self Reference: 14 (Outstanding Contributions to Logic, 14)
Item prices starting from
View 33 offers£ 59.39
-
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 31 offers£ 83.02
-
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 25 offers£ 53.83
