m

F Nous contacter

0

Documents  03C30 | enregistrements trouvés : 4

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 368 p.
ISBN

Astérisque , 0121

Localisation : Périodique 1er étage

14H10 ; 14K15 ; 58C40 ; 58A10 ; 53C20 ; 14H25 ; 20D08 ; 18G ; 34C28 ; 46B20 ; 46E15 ; 49F10 ; 14H99 ; 14K05 ; 05A15 ; 57R45 ; 62P99 ; 57R52 ; 12A25 ; 12A50 ; 28A05 ; 03C30 ; 03-00

... 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.

- 275 p.
ISBN 978-0-8218-1799-5

American mathematical society translations série 2 , 0099

Localisation : Collection 1er étage

calcul constructif # construction # ensemble de dénombrable # logique constructive # théorie des algorithmes

03C15 ; 03C30 ; 68Qxx ; 68Rxx

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

Z