This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos's theory of 'proofs and refutations'.