@article{PMFA_1972_17_1_a2,
     author = {Heyting, A.},
     title = {O intuicionismu},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {4--15},
     year = {1972},
     volume = {17},
     number = {1},
     mrnumber = {0491043},
     zbl = {0229.02008},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1972_17_1_a2/}
}