On a decision method in restricted second-order arithmetics (1962)

by J R BÜCHI
Venue:Intl. Cong. Logic, Method and Philosophy of Science