- 772 p.
Cote : 00015480
catégoricité # définissabilité # forcing # interpolation # modèle non classique # préservation # rigidité # récursivité # saturation # stabilité # structure finie # théo rie des modèles # ultraproduit # élimination d"un quantificateur
03C25 ; 03C35 ; 03C40 ; 03C50 ; 03Cxx
Localisation : Collection 1er étage;Réserve