TY  - BOOK
AU  - Чудинов, К. М.
TI  - Математическая логика и теория алгоритмов. Логика предикатов
SN  - 978-5-398-00484-7
PY  - 2010///
CY  - Пермь
PB  - Изд-во Пермского государственного технического университета
KW  - Исчисление предикатов
KW  - Учебные издания для высших учебных заведений
KW  - RU\NLR\auth\661352941
KW  - 22.122
KW  - LBC/RL
KW  - rubbk
KW  - 22.127
KW  - В123я73-1
N2  - Библиогр.: с. 72 (6 назв.)
ER  -