TY  - BOOK
AU  - Проскуряков, М. Н.
TI  - Логический принцип канонической альтернативной единственности
PY  - 2016///
CY  - Москва
PB  - Репро Галерея
KW  - Исчисление высказываний
KW  - Теория доказательств
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661256434
KW  - Математическая логика
KW  - Аксиомы
KW  - nlr_sh1
KW  - RU\NLR\AUTH\6620976
KW  - В121,0
KW  - rubbk
KW  - В123,0
KW  - В123
KW  - В121
N2  - Библиогр. в конце кн. (8 назв.)
ER  -