Fundamentals of Generalized Recursion TheoryMelvin Fitting

Fundamentals of Generalized Recursion Theory

Melvin Fitting · 2011

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2011
Language: English
Publisher: Elsevier Science & Technology Books
Editions: 1
ISBN: 9780080960319

Data source: Wikidata

More by 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