Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Lecture notes in mathematics , 0072
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07419-9
Lecture notes in mathematics , 0492
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 183 p.
Studies in logic and the foundations o mathematics
Localisation : Ouvrage RdC (KARP)
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
... Lire [+]
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; 80 p.
ISBN 978-0-8218-9475-0
Memoirs of the american mathematical society , 1081
Localisation : Collection 1er étage
théorie descriptive des ensembles # variété algébrique # théorie de la classification
03C55 ; 03C45 ; 03E15 ; 03E47 ; 03C75 ; 03E35
... Lire [+]
