Кстати! В рамках одного курса в МГУ в списке файлов оказалась часть этой книги с самыми центральными моментами! Говорят, там есть ошибка в доказательстве. А ещё там особое исчисление построено