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£ 25.98
-
First-Order Modal Logic: 480 (Synthese Library, 480)
Fitting, Melvin; Mendelsohn, Richard L.
Item prices starting from
View 21 offers£ 90.28
Also find
New -
First-Order Modal Logic: 277 (Synthese Library)
Fitting, M.
Item prices starting from
View 7 offers£ 110
-
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
Fitting, M.
Item prices starting from
View 29 offers£ 83.22
-
Fundamentals of Generalized Recursion Theory
Fitting, Melvin
Item prices starting from
View 2 offers£ 167.76
-
Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)
Fitting, Melvin
Item prices starting from
View 2 offers£ 62.88
-
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
Fitting, M.
Item prices starting from
View 21 offers£ 54.06
