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