Raymond Smullyan on Self ReferenceMelvin Fitting
Raymond Smullyan on Self Reference
Melvin Fitting, Brian Rayman · 2018
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2018
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 195
- ISBN
- 9783319687315
מקור הנתונים: 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
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
Fundamentals of Generalized Recursion TheoryMelvin Fitting
Fundamentals of Generalized Recursion Theory
Melvin Fitting · 2011