First-order modal logicMelvin Fitting
First-order modal logic
Melvin Fitting, Richard L. Mendelsohn · 1998
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1998
- שפה
- English
- סדרה
- Synthese Library
- הוצאה
- Springer
- מהדורות
- 5
- עמודים
- 308
- ISBN
- 9780792353348
מקור הנתונים: 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
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