Имре Лакатос:
Доказательства и опровержения. Как доказываются теоремы