Tech Report Number
78-299
Date of this Version
11-1-1978
Recommended Citation
O'Donnell, Michael, "A Programming Language Theorem Which is Independent of Peano Arithmetic" (1978). Department of Computer Science Technical Reports. Paper 229.
https://docs.lib.purdue.edu/cstech/229
Number of Pages
18