Значок книги

Лекции по математике : [учебное пособие] / В. Босс. Т. 6 : От Диофанта до Тьюринга

Вид документа: Книги
Опубликовано: 2006
Язык: Русский
Предмет:
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ
ОСНОВАНИЯ МАТЕМАТИКИ
ВЫЧИСЛИМОСТИ ТЕОРИЯ