English Beginner Proofs and Refutations: The Logic of Mathematical Discovery Imre Lakatos,John Worrall,Elie Zahar 1976 View book