![](/img/cover-not-exists.png)
Weak Second-Order Arithmetic and Finite Automataby J. Richard Büchi;On a Decision Method in Restricted second Order Arithmeticby J. Richard Buchi
Review by: Robert McNaughtonVolume:
28
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2271342
Date:
March, 1963
File:
PDF, 481 KB
english, 1963