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

05 BAR 77Disponible