A theory of formal deducibility [monographie] |
| Auteur(s): | Curry, Haskell Brooks (1900-1982) |
| Langue: | anglais |
| Collection: | Notre Dame mathematical series, n° 6 |
| Editeur, date d'édition: | University of Notre Dame, 1950 |
| Ville(s) d'édition: | Indiana (US) |
| ISSN: | 0885-5862 |
| Classification MSC: | 02.0X |
| Notes: | x ; bibliogr. pp. 123-129 ; 23 cm (Reprinted : 1957) ; 129 p. |
| Thèmes: | logique mathematique, symbolic and mathematical logic |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 CUR 50 | Disponible |