Proofs and Refutations: The Logic of Mathematical Discovery By Imre Lakatos Edited by John Worrall and Elie Zahar Cambridge University Press, 1976, xii + 174 pp., £7.50, £1.95 paper