Определимость и вычислимость
Book information
Similar books
Информационная система математических Интернет-ресурсов MathTree
Математическая логика
2011 · PDF
Сигма-определимость и теорема Гёделя о неполноте
1995 · DJVU
Алгоритмы и вычислимость в человеческом познании
Ершовские лекции (Памяти академика А.П. Ершова)
Математическая логика. Лекции для студентов-математиков НГУ
Математическая логика. Учебное пособие для вузов
1987 · PDF
Математическая логика
2011 · PDF