IRMA - Documents

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.

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

... 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 Troelstra, A.S. | enregistrements trouvés : 6

Troelstra, A.S.

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

Choice sequences : a chapter of intuitionistic mathematics Troelstra, A.S.. -Oxford : Clarendon Press , 1977 . - ix, 170
Nouveau

Metamathematical investigation of intuitionistic arithmetic and analysis Ed. Troelstra, A.S.. -Berlin : Springer , 1973 . - 485
https://doi.org/10.1007/BFb0066739
Nouveau

Principles of intuitionism Troelstra, A.S.. -Berlin : Springer , 1969 . - 111 p. ; 28 cm
https://doi.org/10.1007/BFb0080643
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 Troelstra, A.S. | enregistrements trouvés : 6

Troelstra, A.S.

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

Choice sequences : a chapter of intuitionistic mathematics Troelstra, A.S.. -Oxford : Clarendon Press , 1977 . - ix, 170 Nouveau

Metamathematical investigation of intuitionistic arithmetic and analysis Ed. Troelstra, A.S.. -Berlin : Springer , 1973 . - 485 https://doi.org/10.1007/BFb0066739 Nouveau

Principles of intuitionism Troelstra, A.S.. -Berlin : Springer , 1969 . - 111 p. ; 28 cm https://doi.org/10.1007/BFb0080643 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

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

Choice sequences : a chapter of intuitionistic mathematics Troelstra, A.S.. -Oxford : Clarendon Press , 1977 . - ix, 170
Nouveau

Metamathematical investigation of intuitionistic arithmetic and analysis Ed. Troelstra, A.S.. -Berlin : Springer , 1973 . - 485
https://doi.org/10.1007/BFb0066739
Nouveau

Principles of intuitionism Troelstra, A.S.. -Berlin : Springer , 1969 . - 111 p. ; 28 cm
https://doi.org/10.1007/BFb0080643
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