Media type: Book Title: Structural proof theory Contains: Literaturverz. S. 245 - 249 Contributor: Negri, Sara [Author]; Plato, Jan von [Author] Published: Cambridge [u.a.]: Cambridge Univ. Press, 2001 Issue: 1. publ. Extent: XVII, 257 S. Language: English ISBN: 9780521793070; 0521793076 RVK notation: CC 2500 : Philosophische Logik CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Beweistheorie Origination: Footnote: Includes bibliographical references and indexes