Melvin Fitting
Melvin Fitting
1942
11 books in the database
Books
Types, Tableaus, and Gödel's GodMelvin Fitting
Types, Tableaus, and Gödel's God
Melvin Fitting · 2012
Beyond twoMelvin Fitting
Beyond two
Melvin Fitting · 2003
First-Order Logic and Automated Theorem ProvingMelvin Fitting
First-Order Logic and Automated Theorem Proving
Melvin Fitting · 1996
Proof Methods For Modal And Intuitionistic LogicsMelvin Fitting
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting · 2013
Incompleteness in the Land of Sets (Studies in Logic)Melvin Fitting
Incompleteness in the Land of Sets (Studies in Logic)
Melvin Fitting · 2007
Beyond twoMelvin Fitting
Beyond two
Melvin Fitting · 2003
Types, Tableaus, and Gödel's GodMelvin Fitting
Types, Tableaus, and Gödel's God
Melvin Fitting · 2002
First-order modal logicMelvin Fitting
First-order modal logic
Melvin Fitting · 1998
Selected Topics from Contemporary LogicsMelvin Fitting
Selected Topics from Contemporary Logics
Melvin Fitting · 2021
Raymond Smullyan on Self ReferenceMelvin Fitting
Raymond Smullyan on Self Reference
Melvin Fitting · 2018
Fundamentals of Generalized Recursion TheoryMelvin Fitting
Fundamentals of Generalized Recursion Theory
Melvin Fitting · 2011
Co-authored books and collections
Books that list Melvin Fitting among their authors but not as the lead author: co-written works, collections and compilations.
