m

Documents  fondements des mathématiques | enregistrements trouvés : 20

O
     

-A +A

P Q

IremOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
MathCongrès
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
MathOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Internal logic : foundations of mathematics from Kronecker to Hilbert Gauthier, Yvon. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 2002 . - x, 237 p. ; 25 cm


MathOuvrage

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

The Foundations of mathematics in the theory of sets Mayberry, John P.. -Cambridge : Cambridge university Press , 2000 . - xx, 424 p. ; 24 cm


MathOuvrage

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

The Principles of mathematics revisited Hintikka, Jaakko. -Cambridge : Cambridge university Press , 1996 . - xii, 288 p. ; 21 cm


MathOuvrage

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

Logic and foundations of mathematics Dédic. Heyting, A. ; Ed. Dalen, Dirk van ; Ed. Dijkman, J.G. ; Ed. Kleene, Stephen C. ; Ed. Troelstra, A.S.. -Groningen : Wolters-Noordhoff , 1968 . - 248


MathOuvrage

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

Recursive analysis Goodstein, R. L.. -Amsterdam : North-Holland , 1961 . - viii, 138 p. ; 21 cm


MathOuvrage

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

Recursive number theory Goodstein, R. L.. -Amsterdam : North-Holland , 1957 . - xii, 190 p. ; 23 cm


MathOuvrage

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

La Mathématique I : les lieux et les temps Dir. Bartocci, Claudio ; Dir. Odifreddi, Piergiorgio ; Préf. Blay, Michel. -Paris : CNRS éditions , 2009 . - xviii, 845 p. ; 22 cm
ISBN 9782271068170


MathOuvrage

Z