booktheque

Types, Tableaus, and Gödel's God

Melvin Fitting · 2002

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 Amazon

Book details

Year
2002
Language
English
Series
Trends in Logic
Publisher
Springer
Editions
1
Pages
196
ISBN
9781402006043

Data source: Wikidata

More by Melvin Fitting

Types, Tableaus, and Gödel's God
Melvin Fitting · 2012
Beyond two
Melvin Fitting · 2003
First-Order Logic and Automated Theorem Proving
Melvin Fitting · 1996
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting · 2013
Incompleteness in the Land of Sets (Studies in Logic)
Melvin Fitting · 2007
Beyond two
Melvin Fitting · 2003
First-order modal logic
Melvin Fitting · 1998
Selected Topics from Contemporary Logics
Melvin Fitting · 2021
Raymond Smullyan on Self Reference
Melvin Fitting · 2018
Fundamentals of Generalized Recursion Theory
Melvin Fitting · 2011