TY  - BOOK
AU  - Стрыгин, В. З.
TI  - Разрешимость исчисления предикатов 1-й ступени
T2  - Препринт
VL  - № 145
PY  - 2005///
CY  - М.
PB  - Издат. отд. ЦАГИ
KW  - Исчисление предикатов
KW  - RU\NLR\auth\661352941
KW  - Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
KW  - В123,09
KW  - rubbk
KW  - В123
N2  - Библиогр.: с. 3
ER  -