IRMA - Documents

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

mathématiques constructives

... Lire [+]

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

mathématiques constructives

... Lire [+]

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

analyse non standard ; mathématiques constructives

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

mathématiques constructives ; logique symbolique ; logique mathématique

... Lire [+]

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

mathématiques constructives

... 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 mathématiques constructives | enregistrements trouvés : 7

Constructivity in mathematics Ed. Heyting, A.. -Amsterdam : North-Holland , 1959 . - viii, 297
Nouveau

Essays in constructive mathematics Edwards, Harold M.. -New York NY : Springer , 2005 . - xix, 211 p. ; 24 cm
ISBN 9780387219783
https://link.springer.com/book/10.1007/b138656
Nouveau

Le Constructivisme non standard Salanskis, Jean-Michel. -Villeneuve d'Ascq : Presses universitaires du Septentrion , 1999 . - x, 349 p. ; 24 cm
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

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred. -Cambridge : Cambridge university Press , 1987 . - x-149
Nouveau

Foundations of constructive mathematics Beeson, Michael J.. -Berlin : Springer , 1985 . - xxiii, 466
http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=1 ; http://link.springer.com/bookseries/728
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 mathématiques constructives | enregistrements trouvés : 7

Constructivity in mathematics Ed. Heyting, A.. -Amsterdam : North-Holland , 1959 . - viii, 297 Nouveau

Essays in constructive mathematics Edwards, Harold M.. -New York NY : Springer , 2005 . - xix, 211 p. ; 24 cm ISBN 9780387219783 https://link.springer.com/book/10.1007/b138656 Nouveau

Le Constructivisme non standard Salanskis, Jean-Michel. -Villeneuve d'Ascq : Presses universitaires du Septentrion , 1999 . - x, 349 p. ; 24 cm 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

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred. -Cambridge : Cambridge university Press , 1987 . - x-149 Nouveau

Foundations of constructive mathematics Beeson, Michael J.. -Berlin : Springer , 1985 . - xxiii, 466 http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=1 ; http://link.springer.com/bookseries/728 Nouveau

Constructivity in mathematics Ed. Heyting, A.. -Amsterdam : North-Holland , 1959 . - viii, 297
Nouveau

Essays in constructive mathematics Edwards, Harold M.. -New York NY : Springer , 2005 . - xix, 211 p. ; 24 cm
ISBN 9780387219783
https://link.springer.com/book/10.1007/b138656
Nouveau

Le Constructivisme non standard Salanskis, Jean-Michel. -Villeneuve d'Ascq : Presses universitaires du Septentrion , 1999 . - x, 349 p. ; 24 cm
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

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred. -Cambridge : Cambridge university Press , 1987 . - x-149
Nouveau

Foundations of constructive mathematics Beeson, Michael J.. -Berlin : Springer , 1985 . - xxiii, 466
http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=1 ; http://link.springer.com/bookseries/728
Nouveau