arithmétisation # ensemble constructible # extension de Cohen de ZF-modèle # fonction récursive # modèle de Fraenkel-Mostowski- Specker # modèle de théorie de ZF-ensemble # modèle syntactique # principe de réflexion # théorie des ensembles de Zermelo-Fraenkel # théorie formelle

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

EAN13 : 9783540055914

ISBN : 3-540-05591-6

Collation : 173 p. ; 26 cm ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0223

Localisation : Collection 1er étage

Notes : 3 volumes reliés L20315 à L20317

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires