Fundamentals of generalized recursion theory

by Melvin Fitting · 1 review · 1986

Reviewed by	Journal	Date	Access
Peter G. Hinman	The Journal of Symbolic Logic	1986	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)
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