Логико-методологический анализ работы И. Лакатоса ''Доказательства и опровержения'': Учебно-методические указания по теме ''Математическая логика. Логика роста и развития математического знания''