axiome du choix # constance de l'hypothèse du continu # fonction récursive générale # fonction récursive primitive # indépendance de l'hypothèse d'un continu # langage formel # système formel # théorème de Lawenheim-Skolem # théorie des ensembles # théorie des ensembles de Zermelo-Fraenkel # théorème de nonplénit ude de Gobel # théorème de plénitude de Gobel

Ville d'édition : Amsterdam ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

Collation : 23 cm#rel. ; Bibliogr.

Localisation : Ouvrage RdC (COHE)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires