"A Programming Language Theorem Which is Independent of Peano Arithmeti" by Michael O'Donnell

Skip to main content

Department of Computer Science Technical Reports

Title

A Programming Language Theorem Which is Independent of Peano Arithmetic

Authors

Michael O'Donnell

Date of this Version

1978

Tech Report Number

78-299

Number of Pages

18

Included in

Computer Sciences Commons

COinS