TY  - BOOK
AU  - Ершов,Юрий Леонидович
AU  - Палютин,Евгений Андреевич
TI  - Математическая логика: Учебное пособие для математических специальностей вузов
PY  - 1979///
CY  - М.
PB  - Наука. Физматлит
KW  - математическая логика
KW  - учебные пособия для вузов
KW  - исчисление высказываний
KW  - теория множеств
KW  - алгебраические системы
KW  - исчисление предикатов
KW  - теория моделей
KW  - теория доказательств
KW  - алгоритмы
KW  - рекурсивные функции
N1  - Указ. предм. и обозначений: с.314-320
ER  -