The classical decision problem and partial functions.

@article{Abramsky1980,
author = {Abramsky, Motti},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {decision problem for sets of sentences of first-order logic; partial functions; standard classes; prenex sentences},
pages = {3-12},
title = {The classical decision problem and partial functions.},
url = {http://eudml.org/doc/137956},
volume = {20},
year = {1980},
}

TY - JOUR
AU - Abramsky, Motti
TI - The classical decision problem and partial functions.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1980
VL - 20
SP - 3
EP - 12
KW - decision problem for sets of sentences of first-order logic; partial functions; standard classes; prenex sentences
UR - http://eudml.org/doc/137956
ER -