Pruebas y refutaciones: la lógica del descubrimiento matemático - Lakatos, Imre (Alianza Universidad, 1982)