Highly recommended book by Lakatos. The history and meta-mathematical aspects of proof-theoretic constructs are so often neglected that one can only imagine that there's a latent desire to attain a priestly purity to the proof-theoretic process that serves only to hamper true mathematical maturity in the field and individual learning.