Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe

by János Surányi · 1 review · 1960

Metaphysics & Logic

Also by Surányi

• Reduction of the decision problem to formulae containing a bounded number of quantifiers only (1 review)

Search PhilReviews for this title