Geodesic
The scientific work of A. Heyting
Compositio Mathematica, Tome 20 (1968), pp. 3-12

Voir la notice de l'article provenant de la source Numdam

@article{CM_1968__20__3_0,
     author = {Troelstra, A. S.},
     title = {The scientific work of {A.} {Heyting}},
     journal = {Compositio Mathematica},
     pages = {3--12},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {224427},
     zbl = {0155.00909},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1968__20__3_0/}
}
TY  - JOUR
AU  - Troelstra, A. S.
TI  - The scientific work of A. Heyting
JO  - Compositio Mathematica
PY  - 1968
SP  - 3
EP  - 12
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1968__20__3_0/
LA  - en
ID  - CM_1968__20__3_0
ER  - 
%0 Journal Article
%A Troelstra, A. S.
%T The scientific work of A. Heyting
%J Compositio Mathematica
%D 1968
%P 3-12
%V 20
%I Wolters-Noordhoff Publishing
%U http://geodesic.mathdoc.fr/item/CM_1968__20__3_0/
%G en
%F CM_1968__20__3_0
Troelstra, A. S. The scientific work of A. Heyting. Compositio Mathematica, Tome 20 (1968), pp. 3-12. http://geodesic.mathdoc.fr/item/CM_1968__20__3_0/