Справочная книга по математической логике. В четырех частях. Часть 1
 |
| Издатель | | Главная редакция физико-математической литературы изд-ва "Наука" |
|
Содержание:
Вступление, Происхождение удочки, Удилище, Леса, Наплавок, Грузило, Крючок, Поводок, Устройство удочки, Насадка, О выборе места для уженья, Прикормка, Уменье удить, Лошок, Верховка, Голец, Пескарь, Уклейка, Елец, Ерш, Плотица, Красноперка, Язь, Головль, Лещ, Сазан, Карпия, Линь, Карась, Окунь, Щука, Жерих, шестепер, Судак, Лох, Красуля, Форель, Пестряк, Кутема, Налим, Сом, Раки, Крючки и жерлицы, Блесна
Описание:
Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика". Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие места в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.Похожие книги
