m

Documents  Sieg, Wilfried | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 297 p.
ISBN 978-0-8218-5110-4

Contemporary mathematics , 0106

Localisation : Collection 1er étage

arithmétique de l'informatique # informatique # mathématiques de l'informatique

03-XX ; 68-XX

... Lire [+]

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

- 444 p.
ISBN 978-1-56881-170-3

Lecture notes in logic , 0015

Localisation : Colloque 1er étage (STAN)

logique # fondement des mathématiques # philosophie des mathématiques # théorie auto-adaptive # calcul # preuve # analyse théorique

00B25 ; 03-06 ; 00A30 ; 00B30

... Lire [+]

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

- xii; 439 p.
ISBN 978-0-19-537222-9

Localisation : Ouvrage RdC (SIEG)

histoire des mathématiques # philosophie des mathématiques # théorie de la démonstration # structure mathématique # réductionnisme # finitisme # métamathématique # imperfection # déduction naturelle

01-06 ; 00A30 ; 00B60 ; 01A55 ; 01A60 ; 01A61 ; 01A70 ; 03-03 ; 03A05 ; 03A10 ; 03F03

... Lire [+]

Z