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

Exemplaires