TY  - JOUR
AU  - Zoran Marković
TI  - An Intuitionistic Ommiting Types Theorem
JO  - Publications de l'Institut Mathématique
PY  - 1979
SP  - 167 
VL  - _N_S_26
IS  - 40
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1979_N_S_26_40_a23/
ID  - PIM_1979_N_S_26_40_a23
ER  -