Beyond twoMelvin Fitting
Beyond two
Melvin Fitting · 2003
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Physica-Verlag Heidelberg
- מהדורות
- 1
- עמודים
- 384
- ISBN
- 9783790815412
מקור הנתונים: Wikidata
עוד של Melvin Fitting
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
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