@article{PIM_1979_N_S_26_40_a23,
     author = {Zoran Markovi\'c},
     title = {An {Intuitionistic} {Ommiting} {Types} {Theorem}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {167 },
     year = {1979},
     volume = {_N_S_26},
     number = {40},
     url = {http://geodesic.mathdoc.fr/item/PIM_1979_N_S_26_40_a23/}
}