m

Documents  Baldwin, John T. | enregistrements trouvés : 4

O
     

-A +A

P Q

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


ISBN 978-3-540-18674-8

Lecture notes in mathematics , 1292

Localisation : Collection 1er étage

classification # logique # systeme logique formel non classique # theorie des modeles

03Cxx

... Lire [+]

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

- 189 p.
ISBN 978-0-387-90936-3

Perspectives in mathematical logic

Localisation : Ouvrage RdC (Mode)

03-06 ; 03Cxx

... Lire [+]

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

- 447 p.
ISBN 978-3-540-15298-9

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BALD)

fondement de la logique # stabilité logique # théorie des modèles

03Cxx

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

Z