Tech Report Number
71-056
Date of this Version
7-1-1971
Recommended Citation
Siefkes, Dirk, "An Axiom System For the Weak Monadic Second Order Theory of Two Successors" (1971). Department of Computer Science Technical Reports. Paper 478.
https://docs.lib.purdue.edu/cstech/478
Number of Pages
32