TY  - BOOK
AU  - Ершов,Юрий Леонидович
AU  - Палютин,Евгений Андреевич
TI  - Математическая логика: Учебное пособие 
PY  - 1987///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Математическая логика
N2  - [ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ]
ER  -