Проблема разрешения для логики предикатов и операций.

@article{Гуревич1969,
author = {Гуревич, Ю.Ш.},
journal = {Algebra i Logika},
keywords = {логика предикатов; классы предваренных формул; ограничение на проиставки; предикатные переменные; переменные операции; recursion theory, constructive mathematics},
language = {rus},
number = {3},
pages = {284-308},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Проблема разрешения для логики предикатов и операций.},
url = {http://eudml.org/doc/186746},
volume = {8},
year = {1969},
}

TY - JOUR
AU - Гуревич, Ю.Ш.
TI - Проблема разрешения для логики предикатов и операций.
JO - Algebra i Logika
PY - 1969
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 8
IS - 3
SP - 284
EP - 308
LA - rus
KW - логика предикатов; классы предваренных формул; ограничение на проиставки; предикатные переменные; переменные операции; recursion theory, constructive mathematics
UR - http://eudml.org/doc/186746
ER -