Proof theory : history and philosophical significance - Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgesen, Klaus Frovin (Synthese library ; ;, 2000)