On a decision method in restricted second order arithmetic in (1962)

by J R Büchi
Venue:Logic, Methodology and Philosophy of Science, Proc. 1960 Internat. Congr