On a Decision Method in Restricted Second Order Arithmetic (1962)

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