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