TY  - BOOK
AU  - Вдовин, В. В.
ED  - Сибирский государственный университет путей сообщения
TI  - Элементы математической логики и теории множеств
SN  - 9785934617401
PY  - 2016///
CY  - Новосибирск
PB  - Изд-во СГУПСа
KW  - Множеств теория
KW  - Учебно-методические пособия для высших учебных заведений
KW  - RU\NLR\AUTH\661267244
KW  - Исчисление высказываний
KW  - RU\NLR\AUTH\661336082
KW  - Исчисление предикатов
KW  - RU\NLR\AUTH\661352941
KW  - В161.41я73-1
KW  - В123я73-1
N2  - Библиогр.: с. 43 (5 назв)
ER  -