Some simple decidability proofs

@article{M1983,
author = {M. Kapetanović},
journal = {Matematički Vesnik},
keywords = {analytic tableaux; prefixed formulae},
language = {eng},
number = {81},
pages = {27-30},
publisher = {Društvo matematičara Srbije},
title = {Some simple decidability proofs},
url = {http://eudml.org/doc/259889},
volume = {35},
year = {1983},
}

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 -