RECURSIVE ORDINALS AND PROVABILITY IN FIRST ORDER NUMBER THEORY
Research report
View/ Open
Year
1967Permanent link
http://urn.nb.no/Is part of
Preprint series: Pure mathematicsMetadata
Show metadataAppears in the following Collection
- Matematisk institutt [3766]