TY  - BOOK
AU  - Проскуряков, М. Н.
TI  - Принцип максимума символической информации и теорема единственности бесконечного множества
PY  - 2012///
CY  - Москва
PB  - Репро Галерея
KW  - Исчисление высказываний
KW  - Теория доказательств
KW  - nlr_sh2
KW  - RU\NLR\auth\661256434
KW  - Множества(мат.)
KW  - Аксиоматическая теория
KW  - RU\NLR\auth\66668132
KW  - В123
KW  - В161.411
N2  - Библиогр. в конце кн. (6 назв.)
ER  -