TY  - BOOK
AU  - Непейвода
TI  - Прикладная логика
SN  - 5-7615-0490-1
PY  - 2000///
CY  - Новосибирск
PB  - Изд-во Новосиб. ун-та
KW  - Математическая логика
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\6620994
KW  - Учебные издания для высшей школы
KW  - nlr-sh2
KW  - 510.6(075.8)
KW  - 3
KW  - rus
KW  - 27.03
KW  - rugasnti
KW  - 22.12я73
KW  - rubbk
KW  - Ю4я73
N2  - Предм. указ.: с. 482-490; Библиогр.: с. 479-481
ER  -