"И.Лакатос. Доказательства и опровержения (Как доказываются теоремы, 1967, djvu)" - читать интересную книгу автора