Машинный перевод:  ruru enen kzkk cnzh-CN    ky uz az de fr es cs sk he ar tr sr hy et tk ?
ID: 4681
Отрасль: Образование, наука
Название: Introduction to Proof Theory
Автор: Gilles Dowek
Год: 2001
Издательство:  ESSLLI
Формат книги: pdf
Скачать книгу "Introduction to Proof Theory" бесплатно

Загружено: 7