Solvable Surányi subclasses: an introduction to the Herbrand theory

by Burton S. Dreben · 1 review · 1965

Metaphysics & Logic

Also by Dreben

• The Decision Problem (2 reviews)
• Relation of m-valued quantificational logic to 2-valued quantificational logic (1 review)
• The decision problem. Solvable classes of quantificational formulas (1 review)

Search PhilReviews for this title