Introduction to mathematical logic. Volume 1 [monographie] |
| Auteur(s): | Church, Alonzo (1903-1995) |
| Langue: | anglais |
| Collection: | Princeton mathematical series, n° 17 |
| Editeur, date d'édition: | Princeton University Press, 1956 |
| Ville(s) d'édition: | Princeton, New Jersey (US) |
| ISBN: | 0-691-07984-6 |
| ISSN: | 0079-5194 |
| Classification MSC: | 02.0X (2000) |
| Notes: | ix ; exercices ; notes bibliogr. ; index pp. 357-376 ; 23 cm (Autres tirages : 1958, 1962, 1964, 1967, 1970 (6th printing) ; 378 p. |
| Thèmes: | logique, calcul propositionnel, calcul fonctionnel, logic symbolic and mathematical |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 CHU 56 | Disponible |