Media type: Book Title: Basic proof theory Contains: Bibliography. - Includes index Contributor: Troelstra, Anne S. [Author]; Schwichtenberg, Helmut [Author] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 1996 Published in: Cambridge tracts in theoretical computer science ; 43 Extent: XI, 343 S.; Ill Language: English ISBN: 0521572231 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Beweistheorie Beweistheorie Automatisches Beweisverfahren Origination: Footnote: