Effective computability of winning strategies

by Michael O. Rabin · 1 review · 1958

Metaphysics & Logic

Also by Rabin

• Decidability and definability in second-order theories (1 review)
• Non-standard models and independence of the induction axiom (1 review)

Search PhilReviews for this title