TY  - BOOK
AU  - Комиссаров, В. В.
TI  - Элементы математической логики
PY  - 2015///
CY  - Новосибирск
PB  - [б. и.]
KW  - Дискретная математика
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\66369221
KW  - В12я73-1
KW  - rubbk
KW  - В151.3я73-1
N2  - Библиогр.: с. 142-143 (17 назв.)
ER  -