Pruebas y refutaciones. La lógica del descubrimiento matemático - Lakatos, Imre (Alianza Universidad, 1978)