Decidability and definability in second-order theories

by Michael O. Rabin · 1 review · 1975

Metaphysics & Logic

Also by Rabin

• Effective computability of winning strategies (1 review)
• Non-standard models and independence of the induction axiom (1 review)

Search PhilReviews for this title