Mathematical logic [monographie] |
| Auteur(s): | Monk, James Donald (1930-....) |
| Langue: | anglais |
| Collection: | Graduate texts in mathematics, n° 28 |
| Editeur, date d'édition: | Springer, 1976 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISBN: | 3-540-90170-1 ; 0-387-90170-1 |
| ISSN: | 0072-5285 |
| Classification MSC: | 02-02 (2000) |
| Notes: | x ; exercices ; notes bibliogr. ; index of symbols pp. 521-524 ; index pp. 525-531 ; 24 cm ; 531 p. |
| Thèmes: | calcul des predicats, logique mathematique, theorie de la demonstration, logic, symbolic and mathematical |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 MON 76 | Disponible |