Effective confinalities and admissibility in e-recursion
Research report
View/ Open
Year
1982Permanent link
http://urn.nb.no/Is part of
Preprint series: Pure mathematicsMetadata
Show metadataAppears in the following Collection
- Matematisk institutt [3734]