About Development of Proof Theory (Stanford Encyclopedia of Philosophy)
Development of Proof Theory (Stanford Encyclopedia of Philosophy)- An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, analysis, natural deduction, and sequent calculus.
