TY  - BOOK
AU  - Проскуряков, М. Н.
TI  - Теорема единственности евклидовой механики в исчислении высказываний
PY  - 2011///
CY  - Москва
PB  - [б.и.]
KW  - Евклидово пространство
KW  - nlr_sh2
KW  - RU\NLR\auth\66226726
KW  - Исчисление высказываний
KW  - Теория доказательств
KW  - RU\NLR\auth\661256434
KW  - Классическая механика
KW  - RU\NLR\auth\661268086
KW  - В2
KW  - В123
N2  - Библиогр.: с. 6 (3 назв.)
ER  -