m

F Nous contacter

0

Documents  Van Dalen, Dirk | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- xii; 875 p.
ISBN 978-1-4471-4615-5

Localisation : Biographie RdC (BROU)

L.E.J. Brouwer # biographie # histoire de la topologie # mathématiques et nazisme # mathématiques Hollandaises

01A70 ; 01A55 ; 01A60 ; 00A30 ; 01-02 ; 01A72

... Lire [+]

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

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

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

- VIII-653 p.
ISBN 978-3-03719-058-6

Heritage of European Mathematics

Localisation : Oeuvres complètes RdC (FREU)

Hans Freudenthal # théorie des groupes # oeuvres complètes # géométrie # groupes topologiques

00B60 ; 01A75 ; 20-06 ; 51-06 ; 22-06

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