Ю. Ершов
Теория нумераций
Букинистическое издание (1977)
Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.
Ю. Ершов
Проблемы разрешимости и конструктивные модели
Букинистическое издание (1980)
Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями
Ю. Ершов, Е. Палютин
Математическая логика
Твердый переплет (2005)
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей
Ю. Ершов, Е. Палютин
Математическая логика
Букинистическое издание (1987)
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория
Ю. Ершов
Определимость и вычислимость
Букинистическое издание (2000)
Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы и многое другое