Computability theory, semantics, and logic programming

by Melvin Fitting · 2 reviews · 1988–1990

Reviewed by	Journal	Date	Access
Martin Davis	Notre Dame Journal of Formal Logic	1990-06-01	Restricted
J. C. Shepherdson	The Journal of Symbolic Logic	1988	Restricted

Metaphysics & Logic Epistemology & Philosophy of Mind

Also by Fitting

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