Books by Melvin Fitting

24 books found

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

19962 ed.
First-order modal logic

First-order modal logic

19985 ed.
Incompleteness in the Land of Sets (Studies in Logic)

Incompleteness in the Land of Sets (Studies in Logic)

20071 ed.
Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

20122 ed.
Proof Methods For Modal And Intuitionistic Logics

Proof Methods For Modal And Intuitionistic Logics

20102 ed.
First-order logic and automated theorem proving

First-order logic and automated theorem proving

19902 ed.
Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

19831 ed.
Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

20021 ed.
First-order logic and automated theorem proving

First-order logic and automated theorem proving

19901 ed.
First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

19901 ed.
Selected Topics from Contemporary Logics

Selected Topics from Contemporary Logics

20211 ed.
Fundamentals of Generalized Recursion Theory

Fundamentals of Generalized Recursion Theory

20111 ed.
Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

19831 ed.
Types, tableaus, and Gödel's God

Types, tableaus, and Gödel's God

20021 ed.
Beyond two

Beyond two

20031 ed.
Beyond two

Beyond two

20031 ed.
Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory

19811 ed.
Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming

19871 ed.
Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

19691 ed.
Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming

19871 ed.
Page 1Next