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.

... Lire [+]

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

philosophie des mathématiques ; fondements des mathématiques

... 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 [+]

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 [+]

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

Heyting, A.

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

Axiomatic projective geometry Heyting, A.. -Groningen : Noordhoff , 1980 . - 150
Nouveau

L. E. J. Brouwer collected works 1 : philosophy and foundations of mathematics Brouwer, L.E.J. ; Ed. Heyting, A.. -Amsterdam : North-Holland , 1975 . - xv-628
Nouveau

Intuitionism : an introduction Heyting, A.. -Amsterdam : North-Holland , 1971 . - viii, 145
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

De Ontwikkeling van de intuitionistische wiskunde Heyting, A.. -Groningen : Noordhoff , 1936 . - 16
Nouveau

Mathematische Grundlagenforschung Intuitionismus-Beweistheorie Heyting, A.. -Berlin : Springer , 1934 . - iv, 73 p.
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 Heyting, A. | enregistrements trouvés : 7

Heyting, A.

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

Axiomatic projective geometry Heyting, A.. -Groningen : Noordhoff , 1980 . - 150 Nouveau

L. E. J. Brouwer collected works 1 : philosophy and foundations of mathematics Brouwer, L.E.J. ; Ed. Heyting, A.. -Amsterdam : North-Holland , 1975 . - xv-628 Nouveau

Intuitionism : an introduction Heyting, A.. -Amsterdam : North-Holland , 1971 . - viii, 145 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

De Ontwikkeling van de intuitionistische wiskunde Heyting, A.. -Groningen : Noordhoff , 1936 . - 16 Nouveau

Mathematische Grundlagenforschung Intuitionismus-Beweistheorie Heyting, A.. -Berlin : Springer , 1934 . - iv, 73 p. Nouveau

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

Axiomatic projective geometry Heyting, A.. -Groningen : Noordhoff , 1980 . - 150
Nouveau

L. E. J. Brouwer collected works 1 : philosophy and foundations of mathematics Brouwer, L.E.J. ; Ed. Heyting, A.. -Amsterdam : North-Holland , 1975 . - xv-628
Nouveau

Intuitionism : an introduction Heyting, A.. -Amsterdam : North-Holland , 1971 . - viii, 145
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

De Ontwikkeling van de intuitionistische wiskunde Heyting, A.. -Groningen : Noordhoff , 1936 . - 16
Nouveau

Mathematische Grundlagenforschung Intuitionismus-Beweistheorie Heyting, A.. -Berlin : Springer , 1934 . - iv, 73 p.
Nouveau