
Ваша оценка0
(0)
Справочная книга по математической логике. В 4 частях (комплект)
«Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем авторы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при перев...
Жанры
Год издания:
1982
Язык:
Русский
Твердый переплет, 1520 стр.
Формат: 60x90/16 (145х215 мм)
Возрастные ограничения:
18+
Содержание
Перевод: С. Дворников, Игорь Лавров
Часть 4. Теория доказательств и конструктивная математика
Перевод: Г. Давыдов, Г. Минц
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 1
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.























