The calculi of lambda-conversion [monographie] |
| Auteur(s): | Church, Alonzo (1903-1995) |
| Langue: | anglais |
| Collection: | Annals of mathematics studies, n° 6 |
| Editeur, date d'édition: | Princeton University Press, 1941 |
| Ville(s) d'édition: | London (GB), Oxford (GB) |
| ISSN: | 0066-2313 |
| Classification MSC: | 02.0X (2000) |
| Notes: | ii ; bibliogr. pp. 73-82 ; index p. 72 ; 23 cm ; 82 p. |
| Thèmes: | logique mathematique, fonctions recursives, nombre godel, recursive functions |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 CHU 1941 | Disponible |