TY  - BOOK
AU  - Такеути Г.
TI  - Теория доказательств
U1  - 510.6 
PY  - 1978///
CY  - М.
PB  - Мир
ER  -