On a decision method in restricted second order arithmetics (1960)

by J R Büchi
Venue:In International Congress on Logic, Methodology and Philosophy of Science