TY  - BOOK
AU  - Проскуряков, М. Н.
TI  - Каноническая единственность аксиоматики исчисления высказываний и единственность алгоритмов Кука
PY  - 2013///
CY  - Москва
PB  - Репро Галерея
KW  - Исчисление высказываний
KW  - Теория доказательств
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661256434
KW  - Алгоритмы
KW  - nlr_sh1
KW  - RU\NLR\AUTH\6622994
KW  - единственность алгоритмов Кука
KW  - 510
KW  - В123
KW  - В127
N2  - Библиогр.: с. 11 (2 назв.)
ER  -