Proofs and refutations : the logic of mathematical discovery - Worrall John; Zahar Elie ed. (Cambridge C U P, 1976)
Keywords: Mathematical logic; Proof theory