TY  - BOOK
AU  - Ершов, С. С.
TI  - Исчисление предикатов
PY  - 2016///
CY  - Челябинск
PB  - Издательский центр ЮУрГУ
KW  - Исчисление предикатов
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661352941
KW  - В123я73-1
KW  - rubbk
N2  - Библиогр. в конце кн. (8 назв.)
ER  -