01294nam a2200313Ii 4500991003276539707536m d cr cn|||||||||080616s1998 nyu sb 001 0 eng d97804448984010444898409b13659388-39ule_instDip.to Matematicaeng511.322Handbook of proof theory[e-book] /edited by Samuel R. BussNew York :Elsevier,1998811 p. ;23 cmStudies in logic and the foundations of mathematics ;137Includes bibliographical references and indexesProof theoryBuss, Samuel R.ScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=137An electronic book accessible through the World Wide Web; click for informationPublisher descriptionhttp://catdir.loc.gov/catdir/enhancements/fy0601/98018922-d.htmlTable of contents onlyhttp://catdir.loc.gov/catdir/enhancements/fy0601/98018922-t.html.b1365938803-03-2229-01-08991003276539707536Handbook of proof theory851496UNISALENTOle01329-01-08m@ -engnyu00