Handbook of mathematical logic [monographie] |
| Auteur(s): | Barwise, Jon (1942-2000) (Ed.) Kunen, Kenneth (Collab.) Keisler, H. Jerome (Collab.) Moschovakis, Y. N. (Collab.) Troelstra, A. S. (Collab.) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics, n° 90 |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1977 |
| Ville(s) d'édition: | Oxford (GB), New York (US), Amsterdam (NL) |
| ISBN: | 0-7204-2285-X |
| ISSN: | 0049-237X |
| Classification MSC: | 02-06 |
| Notes: | xi ; notes bibliogr. ; 23 cm (Réimpressions : 1977, 1978, 1983, 1983, 1985, 1991) ; 1165 p. |
| Thèmes: | forcing, axiome martin, logique mathematique, theoreme gentzen, model theory, theoreme herbrand, consistance |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BAR 77 | Disponible |