TY - JOUR AU - Ž. Mijajlović TI - On decidability of one class of boolean formulas JO - Matematički vesnik PY - 1974 SP - 48 VL - 26 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MV_1974_26_1_a6/ ID - MV_1974_26_1_a6 ER -