Transfinite type theory with type variables [monographie] |
| Auteur(s): | Andrews, Peter Bruce (1937-....) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1965 |
| Ville(s) d'édition: | Amsterdam (NL) |
| ISSN: | 0049-237X |
| Classification MSC: | 02.63 (2000) |
| Notes: | xv ; bibliogr. pp. 141 ; index pp. 142-143 ; 23 cm ; 143 p. |
| Thèmes: | logique, semantique, fonction recursive primitive, theorie des types, type theory |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 AND 65 | Disponible |