Types, Tableaus, and Gödel's God

by Melvin Fitting · 2 reviews · 2003–2005

Reviewed by	Journal	Date	Access
Roderic A Girle	Studia Logica	2005-12-01	Restricted
J M Plotkin	History and Philosophy of Logic	2003-01-01	—

Metaphysics & Logic History of Philosophy

Also by Fitting

Computability theory, semantics, and logic programming (2 reviews)
Proof methods for modal and intuitionistic logics (2 reviews)
First-order logic and automated theorem proving (1 review)
Fundamentals of generalized recursion theory (1 review)
Intuitionistic logic model theory and forcing (1 review)
Set theory and the continuum problem (1 review)
The Struggle for Maize: Campesinos, Workers, and Transgenic Corn in the Mexican Countryside (1 review)

Search PhilReviews for this title