После работы с Идрисом этим летом у меня появился реальный интерес к доказателям теорем.Я хочу изучить, как они сделаны, а также получить некоторые подходы.Может кто-нибудь дать мне какое-нибудь руководство / ссылку.