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