| Индекс УДК | 510:6 |
|
Математическая теория логического вывода Текст сборник переводов под ред.: А. В. Идельсона, Г. Е. Минца |
|
| Место издания | Москва |
| Издательство | Наука, Главная редакция физико-математической литературы |
| Дата издания | 1967 |
| Объем | 350, [1] с. |
| Другие авторы | Бет, Э. |
