Автор: Шенфилд Д.
Издательство: Наука
Год: 1975
Формат: pdf
Страниц: 528
Размер: 21,40 Мб
Язык: русский
В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств.