Подбор термов в кванторных правилах конструктивного исчисления предикатов

@article{Минц1967,
author = {Минц, Г.Е.},
journal = {Zapiski naucnych seminarov Leningradskogo},
keywords = {general logic},
language = {rus},
pages = {112-122},
publisher = {Nauka},
title = {Подбор термов в кванторных правилах конструктивного исчисления предикатов},
url = {http://eudml.org/doc/66382},
volume = {4},
year = {1967},
}

TY - JOUR
AU - Минц, Г.Е.
TI - Подбор термов в кванторных правилах конструктивного исчисления предикатов
JO - Zapiski naucnych seminarov Leningradskogo
PY - 1967
PB - Nauka
VL - 4
SP - 112
EP - 122
LA - rus
KW - general logic
UR - http://eudml.org/doc/66382
ER -