Selected Topics from Contemporary LogicsMelvin Fitting
Selected Topics from Contemporary Logics
Melvin Fitting · 2021
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2021
- Language
- English
- Publisher
- College Publications
- Editions
- 1
- ISBN
- 9781848903500
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

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