Введение в математическую логику / А. Чёрч

Сохранено в:
Автор: Черч, А. (1903—1995)
Другие авторы/ответственные: Чернявский, В. С., Успенский, В. А. (1930—2018)
Вид документа: Книги
Издание: 2-е изд.
Опубликовано: Москва : URSS Либроком , 2009
Язык: Русский
Серия: Физико-математическое наследие