m
     
Ouvrage

H 0 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

01A60 ; 03-02

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


Exemplaires

Nbre d'exemplaires : 2
Cote Code barre Commentaire
1 00001007 [non empruntable]
2 00001008 [non empruntable]
Z