TY  - JOUR
AU  - B. P. Alimpić
TI  - On models of certain formulas of the predicate calculus of first order
JO  - Matematički vesnik
PY  - 1968
SP  - 347 
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MV_1968_20_3_a16/
ID  - MV_1968_20_3_a16
ER  -