Proof methods for modal and intuitionistic logics

by Melvin Fitting · 2 reviews · 1985

Reviewed by	Journal	Date	Access
H C M De Swart	History and Philosophy of Logic	1985-01-01	Restricted
R. A. Bull	The Journal of Symbolic Logic	1985	Restricted

Metaphysics & Logic History of Philosophy

Also by Fitting

Computability theory, semantics, and logic programming (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)
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