Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020185
algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes
03C40 ; 03C75 ; 03Dxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 183 p.
Cote : 00027555
logique # logique infinitaire # langage infinitaire # concaténation infinitaire # formule de longueur infinie # prédicat infinitaire # système formel infinitaire # représentation d'algèbre de Boole
03C75 ; 03C05
Localisation : Ouvrage RdC (KARP)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- v; 80 p.
Cote : 00038475
théorie descriptive des ensembles # variété algébrique # théorie de la classification
03C55 ; 03C45 ; 03E15 ; 03E47 ; 03C75 ; 03E35
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020539
Carol Karp # argument arrière et avant # condition de finitude pour langages infinitaires # logique infinitaire # modèle de chaîne # propriété de consistance pour langages de quantificateurs fi # technique arrière et avant dans les langages à quantificateu
03C75 ; 03C99 ; 03C30 ; 00Bxx ; 03-06 ; 03-02 ; 01A70
Localisation : Collection 1er étage
English