m

Documents  Muller, Gert H. | enregistrements trouvés : 6

O
     

-A +A

P Q

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

- 458 p.
ISBN 978-3-540-17321-2

Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

logique classique # logique mathématique

00A15 ; 03-XX

... Lire [+]

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

- 469 p.
ISBN 978-3-540-15521-8

Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

logique mathématique # logique non classique

00A15 ; 03-XX

... Lire [+]

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

- 617 p.
ISBN 978-3-540-15522-5

Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

logique mathématique # théorie des modèles

00A15 ; 03-XX

... Lire [+]

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

- 697 p.
ISBN 978-3-540-15523-2

Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

logique mathématique # théorie de la récursion

00A15 ; 03-XX

... Lire [+]

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

- 791 p.
ISBN 978-3-540-15525-6

Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

logique mathématique # théorie des ensembles

00A15 ; 03-XX

... Lire [+]

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

- 450 p.
ISBN 978-3-540-15524-9

Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

logique mathématique # mathématique constructive # théorie de la preuve

00A15 ; 03-XX

... Lire [+]

Z