Melvin Fitting
Melvin Fitting
1942
11 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Melvin Fitting מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
