Proofs and refutations : the logic of mathematical discovery - Lakatos, Imre; Worrall, John; Zahar, Elie (Cambridge : The University Press, 1976)
Keywords: Mathematics -- Philosophy; Logic, Symbolic and mathematical