TY  - BOOK
AU  - Идельсон, А. В.
AU  - Минц, Г. Е.
TI  - Математическая теория логического вывода. Сборник переводов
T2  - Математическая логика и основания математики
PY  - 1967///
CY  - Москва
PB  - Наука
ER  -