TY  - BOOK
AU  - Takeuti
AU  - Sobolev
AU  - AdÃ¢n
TI  - Ð¢ÐµÐ¾ÑÐ¸Ñ Ð´Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»ÑÑÑÐ²
PY  - 1978///
CY  - Moskva
PB  - Mir
KW  - LogicÄ matematicÄ
KW  - 510.6=161.1
ER  -