TY  - BOOK
AU  - Такеути,Г.
AU  - Такеути, Г.
AU  - Соболев, С.К.
TI  - Теория доказательств
PY  - 1978///
CY  - Москва
PB  - Мир
KW  - Математика
ER  -