J.R. Büchi

Bibliography

Büchi, J. R. 1965. “Transfinite Automata Recursions and Weak Second Order Theory of Ordinals.” in Logic, Methodology and Philosophy of Science II, Proceedings of the 1964 International Congress in Jerusalem, edited by Yehoshua Bar-Hillel, pp. 3–23. Amsterdam: North-Holland Publishing Co.