Models and ultraproducts : an introduction
1971
ix, 322 p.
0-7204-2054-7
BELL m
algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Cxx
Pays d'édition : Pays-Bas
Ville d'édition : Amsterdam/London/New York
Langue : anglais
Format : 23 cm
Collection : Studies in logic and the foundations of mathematics
Bibliographie : Bibliogr. p. 309-315/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | BELL m MAT000951 | [disponible] | YRéserver |