Математическая теория логического вывода : Сборник переводов / Под ред. А.В. Идельсона и Г.Е. Минца
Язык: русский.Выходные данные: Москва : Наука, 1967Физическая характеристика: 351 с. ; 22 см.Серия: Математическая логика и основания математики Библиография: Библиогр. в конце статей.Предметная рубрика - Тема: Математическая логика -- Сборники Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж Хран | 67-5/3336 (Просмотр полки(Открывается ниже)) | Доступно | 1-1193363 |
Библиогр. в конце статей