TY  - SER
AU  - Такеути,Г.
TI  - Теория доказательств: пер. с англ
PY  - 1978///
CY  - М.
PB  - Мир
ER  -