Foundational studies
selected works vol. 1 et 2
Mostowski, Andrzej (Principal)
North-Holland Publishing Co.;Polish Scientific Publishers
1979
635 p.
978-0-444-85102-4
00001007
arithmétique du second ordre # arithmétique oméga-complète # axiome du choix # calcul fonctionnel # calcul logique # constructibilité # corps booléen dénombrable # décidabilité # définabilité # définition imprédicative # ensemble # fondement # forcing # hiérarchie # logique multi-valuée # modèle # métamathématique générale # oméga-modèle non béta-modèle # principe d # Mostowski # oeuvres complètes
Ville d'édition : Amsterdam ; N.Y. ; Warszawa
Langue : Anglais
EAN13 : 9780444851024
ISBN : 0-444-85102-X
Collation : 23 cm ; Bibliogr. Pp. Xi-Xix ; portr. ; viii ; xlvi
Collection : Studies in logic and the foundations of mathematics
N° de collection : 0093
Localisation : Oeuvres complètes RdC (MOST)
Type d'ouvrage : Oeuvres
Disponibilité : Exclu du prêt
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00001007 | [non empruntable] | ||
2 | 00001008 | [non empruntable] |