@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/}
}