Skip to main content

Department of Computer Science Technical Reports

A Programming Language Theorem Which is Independent of Peano Arithmetic

Michael O'Donnell

Date of this Version

1978

Tech Report Number

78-299

Number of Pages

18

Included in

Computer Sciences Commons

COinS