IRMA - Documents

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

philosophie

... Lire [+]

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

... Lire [+]

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

oeuvres choisies ; Freudenthal

... Lire [+]

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

Brouwer L. E. J. ; histoire des mathématiques ; intuitionnisme ; biographie

... Lire [+]

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

Brouwer L. E. J. ; histoire des mathématiques ; intuitionnisme ; biographie

... Lire [+]

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

mathématiques constructives ; intuitionnisme

... Lire [+]

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

mathématiques constructives ; intuitionnisme

... Lire [+]

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

logique mathématique

... Lire [+]

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

intuitionnisme

... Lire [+]

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

logique ; fondements des mathématiques ; Heyting

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Dalen, Dirk van | enregistrements trouvés : 10

Dalen, Dirk van

La Philosophie intuitionniste et ses conséquences mathématiques Dalen, Dirk van. -Paris-Nord : IREM de Paris-Nord , 1980 . - 15 p. ; 30 cm
Nouveau

Logic colloquium 78 Ed. Boffa, M. ; Ed. Dalen, Dirk van ; Ed. Mcaloon, K.. -Amsterdam : North-Holland , 1979 . - x-434
Nouveau

Selecta Freudenthal, Hans ; Ed. Springer, Tonny Albert ; Ed. Dalen, Dirk van. -Zürich : European mathematical Society , 2009 . - viii, 653 p. ; 25 cm
ISBN 9783037190586
https://ems.press/books/hem
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 : hope and disillusion Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 2005 . - x, pp. 441-946 ; 24 cm
ISBN 9780198516200
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 : the dawning revolution Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 1999 . - xv, 440 p. ; 24 cm
ISBN 9780198502975
Nouveau

Constructivism in mathematics. Vol. 2 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xvii, pag. mult. ; 23 cm
Nouveau

Constructivism in mathematics. Vol. 1 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xx, 342 p. ; 23 cm
Nouveau

Logic and structure Dalen, Dirk van. -Berlin : Springer , 1983 . - vii, 207
https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
Nouveau

Brouwer's cambridge lectures on intuitionism Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press , 1981 . - xii, 109
Nouveau

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
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Dalen, Dirk van | enregistrements trouvés : 10

Dalen, Dirk van

La Philosophie intuitionniste et ses conséquences mathématiques Dalen, Dirk van. -Paris-Nord : IREM de Paris-Nord , 1980 . - 15 p. ; 30 cm Nouveau

Logic colloquium 78 Ed. Boffa, M. ; Ed. Dalen, Dirk van ; Ed. Mcaloon, K.. -Amsterdam : North-Holland , 1979 . - x-434 Nouveau

Selecta Freudenthal, Hans ; Ed. Springer, Tonny Albert ; Ed. Dalen, Dirk van. -Zürich : European mathematical Society , 2009 . - viii, 653 p. ; 25 cm ISBN 9783037190586 https://ems.press/books/hem Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 : hope and disillusion Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 2005 . - x, pp. 441-946 ; 24 cm ISBN 9780198516200 Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 : the dawning revolution Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 1999 . - xv, 440 p. ; 24 cm ISBN 9780198502975 Nouveau

Constructivism in mathematics. Vol. 2 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xvii, pag. mult. ; 23 cm Nouveau

Constructivism in mathematics. Vol. 1 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xx, 342 p. ; 23 cm Nouveau

Logic and structure Dalen, Dirk van. -Berlin : Springer , 1983 . - vii, 207 https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675 Nouveau

Brouwer's cambridge lectures on intuitionism Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press , 1981 . - xii, 109 Nouveau

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 Nouveau

La Philosophie intuitionniste et ses conséquences mathématiques Dalen, Dirk van. -Paris-Nord : IREM de Paris-Nord , 1980 . - 15 p. ; 30 cm
Nouveau

Logic colloquium 78 Ed. Boffa, M. ; Ed. Dalen, Dirk van ; Ed. Mcaloon, K.. -Amsterdam : North-Holland , 1979 . - x-434
Nouveau

Selecta Freudenthal, Hans ; Ed. Springer, Tonny Albert ; Ed. Dalen, Dirk van. -Zürich : European mathematical Society , 2009 . - viii, 653 p. ; 25 cm
ISBN 9783037190586
https://ems.press/books/hem
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 : hope and disillusion Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 2005 . - x, pp. 441-946 ; 24 cm
ISBN 9780198516200
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 : the dawning revolution Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 1999 . - xv, 440 p. ; 24 cm
ISBN 9780198502975
Nouveau

Constructivism in mathematics. Vol. 2 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xvii, pag. mult. ; 23 cm
Nouveau

Constructivism in mathematics. Vol. 1 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xx, 342 p. ; 23 cm
Nouveau

Logic and structure Dalen, Dirk van. -Berlin : Springer , 1983 . - vii, 207
https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
Nouveau

Brouwer's cambridge lectures on intuitionism Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press , 1981 . - xii, 109
Nouveau

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
Nouveau