Математическая логика ; пер. с англ. Ю.А.Гастева ; под ред. Г.Е.Минца

Автор(ы): Клини, Стефан Коул;
                   Минц, Г. Е.Язык документа: Русский.Страна публикации: RU.Издательство: М. : Мир, 1973Физическая характеристика: 480с.ББК: 22.122 ; 27.03.15Note(s): Авт. и предм. указ.: с. 470-478В кн. также: Нормализация доказательств; Функциональная форма; Теорема Эрбрана для непредваренных формул / Г.Е.Минц; Библиогр.: с. 451-465.
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
ГОНБ. Сектор обслуживания универсального читального зала
Выдается

Авт. и предм. указ.: с. 470-478В кн. также: Нормализация доказательств; Функциональная форма; Теорема Эрбрана для непредваренных формул / Г.Е.Минц

Библиогр.: с. 451-465

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: