Proofs and refutations : the Logic of mathematics discovery - Lakatos, Imre; Worrall, John; Zahar, Elie (Cambridge : Cambridge University Press, 1976)
Bibliography (p.155-165)
Keywords: Logic, Symbolic and mathematical; Mathematics -- Philosophy