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

Publisher City : Amsterdam ; N.Y. ; Warszawa

Language : English

EAN13 : 9780444851024

ISBN : 0-444-85102-X

Collation : 23 cm ; Bibliogr. Pp. Xi-Xix ; portr. ; viii ; xlvi

Series : Studies in logic and the foundations of mathematics

Nb in series : 0093

Location : Oeuvres complètes RdC (MOST)

Book type : Oeuvres

Availability : Exclu du prêt

Level of authorization : Public

Copies