Geodesic
A. HEYTING: Intuitionism
Mathematica Scandinavica, Tome 4 (1956), pp. 333-335

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@article{MS2_1956__4_165639,
     author = {TH. SKOLEM},
     title = {A. {HEYTING:} {Intuitionism}},
     journal = {Mathematica Scandinavica},
     pages = {333--335},
     publisher = {mathdoc},
     volume = {4},
     year = {1956},
     url = {http://geodesic.mathdoc.fr/item/MS2_1956__4_165639/}
}
TY  - JOUR
AU  - TH. SKOLEM
TI  - A. HEYTING: Intuitionism
JO  - Mathematica Scandinavica
PY  - 1956
SP  - 333
EP  - 335
VL  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1956__4_165639/
ID  - MS2_1956__4_165639
ER  - 
%0 Journal Article
%A TH. SKOLEM
%T A. HEYTING: Intuitionism
%J Mathematica Scandinavica
%D 1956
%P 333-335
%V 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1956__4_165639/
%F MS2_1956__4_165639
TH. SKOLEM. A. HEYTING: Intuitionism. Mathematica Scandinavica, Tome 4 (1956), pp. 333-335. http://geodesic.mathdoc.fr/item/MS2_1956__4_165639/