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