TY - JOUR AU - M. Kapetanović TI - Some simple decidability proofs JO - Matematički Vesnik PY - 1983 PB - Društvo matematičara Srbije VL - 35 IS - 81 SP - 27 EP - 30 LA - eng KW - analytic tableaux; prefixed formulae UR - http://eudml.org/doc/259889 ER -