Fundamentals of Generalized Recursion TheoryMelvin Fitting

Fundamentals of Generalized Recursion Theory

Melvin Fitting · 2011

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2011
שפה: English
הוצאה: Elsevier Science & Technology Books
מהדורות: 1
ISBN: 9780080960319

מקור הנתונים: Wikidata

עוד של Melvin Fitting

Types, Tableaus, and Gödel's GodMelvin Fitting

Types, Tableaus, and Gödel's God

Melvin Fitting · 2012

Beyond twoMelvin Fitting

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

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