Media type: Book Title: Basic proof theory Contains: Includes bibliographical references (p. 379 - 403) and index Contributor: Troelstra, Anne S. [Author]; Schwichtenberg, Helmut [Author] imprint: Cambridge [u.a.]: Cambridge University Press, 2000 Published in: Cambridge tracts in theoretical computer science ; 43.2000 Issue: 2. ed. Extent: XII, 417 S.; Ill; 23 cm Language: English ISBN: 0521784522; 0521779111 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 130 : Allgemeines Keywords: Beweistheorie Beweistheorie Origination: Footnote: Includes index. - Previous ed.: 1996
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30645269 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30645270 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30645271 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30645272 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30645655 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30646020 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30646107 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30646386 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 T843 B3(2) Item ID: 30646387 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: SK 130 T843 B3(2) Item ID: 30645273 Status: To be used in the library, interlibrary loan possible