Intuitionistic logic model theory and forcing

by Melvin Chris Fitting · 1 review · 1971

Reviewed by	Journal	Date	Access
F. R. Drake	The Journal of Symbolic Logic	1971	Restricted

Metaphysics & Logic

Also by Fitting

Computability theory, semantics, and logic programming (2 reviews)
Proof methods for modal and intuitionistic logics (2 reviews)
Types, Tableaus, and Gödel's God (2 reviews)
First-order logic and automated theorem proving (1 review)
Fundamentals of generalized recursion theory (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