Зведений каталог бібліотек Тернополя
517.11М34 Математическая теория логического вывода [Текст] : сборник переводов / под ред.: А. В. Идельсона, Г. Е. Минца. — М. : Наука, 1967. — 351 с.
- Теми документа