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