First-order logic and automated theorem proving

by Melvin Fitting · 1 review · 1993

Reviewed by	Journal	Date	Access
Alfredo Ferro	The Journal of Symbolic Logic	1993	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)
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