The decision problem. Solvable classes of quantificational formulas

by Burton Dreben · 1 review · 1982

Metaphysics & Logic

Also by Dreben

• The Decision Problem (2 reviews)
• Relation of m-valued quantificational logic to 2-valued quantificational logic (1 review)
• Solvable Surányi subclasses: an introduction to the Herbrand theory (1 review)

Search PhilReviews for this title