Tech Report Number
67-015
Date of this Version
9-1-1967
Recommended Citation
Buchi, J. Richard and Landweber, Lawrence H., "Definability in the Monadic Second-Order Theory of Successor" (1967). Department of Computer Science Technical Reports. Paper 96.
https://docs.lib.purdue.edu/cstech/96
Number of Pages
11