m

Documents  03C75 | enregistrements trouvés : 6

O
     

-A +A

P Q

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.

- 394 p.
ISBN 978-3-540-07451-9

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BARW)

03D60 ; 03C75 ; 03-02 ; 03C99 ; 03E55

... Lire [+]

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.

- xi; 235 p.
ISBN 978-0-8218-4893-7

University lecture series , 0050

Localisation : Collection 1er étage

théorème de complétude # théorie des modèles

03C30 ; 03C45 ; 03C52 ; 03C60 ; 03C75 ; 03C95 ; 03C98 ; 03-02 ; 03C35

... Lire [+]

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 [+]

Z