TY  - BOOK
AU  - Такеути,Г.
AU  - Соболев,С.К.
AU  - Ադյան,Սերգեյ Իվանի
TI  - Теория доказательств: Пер. с англ. 
PY  - 1978///
CY  - Москва
PB  - Мир
KW  - Теория доказательств
KW  - Математическая логика
N1  - Оригинал на англ.; Gaisi Takeuti -; London : North-Holland Publishing Company : 1975
ER  -