TY  - BOOK
AU  - Манин,Юрий Иванович
TI  - Доказуемое и недоказуемое
U1  - 51.01:16 
PY  - 1979///
CY  - Москва
PB  - Советское радио
KW  - Математика
KW  - Математическая логика
N1  - Библиогр.:с161-162
ER  -