Библиографический источник

Математическая теория логического вывода

Сборник переводов / Под ред. А. В. Идельсона и Г. Е. Минца

Заглавие:: Математическая теория логического вывода
Место издания:: Москва
Издатель:: Наука
Дата издания:: 1967
Объём:: 351 с.
Серия:: Математическая логика и основания математики
Сведения о библиографии:: Библиогр. в конце статей
Рубрики:: Математическая логика - Сборники
Язык текста:: Русский