A transfinite type theory with type variables
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Amsterdam :
North-Holland
C 1965.
|
| Collection: | Studies in logic and the foundations of mathematics
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Description matérielle: | 1 vol. (XV-143 p.) ; 23 cm. |
|---|---|
| Bibliographie: | Bibliogr. p. 141. Index |
| ISSN: | 0049-237X |