Media type: Book Title: Handbook of proof theory Contributor: Buss, Samuel R. [Other] imprint: Amsterdam [u.a.]: Elsevier, 1998 Published in: Studies in logic and the foundations of mathematics ; 13700 Extent: 811 S.; graph. Darst Language: English ISBN: 0444898409 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Beweistheorie Beweistheorie Origination: Footnote: Includes bibliographical references and indexes