Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Hendricks, Vincent F. and Pedersen, Stig Andur and Jørgensen, Klaus Frovin",Proof theory : history and philosophical significance,,Kluwer Academic,2000,Synthese library,,0792365445,,https://cir.nii.ac.jp/crid/1130282270621836928