Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
Material type: TextLanguage: English Series: Cambridge tracts in theoretical computer science ; 43Publication details: Cambridge ; New York : Cambridge University Press, 2000Edition: 2nd edDescription: xii, 417 p. : ill. ; 23 cmContent type: ISBN: 0521779111 (pbk.); 9780521779111Subject(s): Proof theoryDDC classification: 514.23 LOC classification: QA9.54 | .T76 2000Online resources: Click here to access online | Click here to access online | Click here to access onlineItem type | Current library | Home library | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|
Books | BUC | BUC | 511.3 TAB (Browse shelf (Opens below)) | Link to resource | Available | E - 57 | 15880 |
Total holds: 0
Includes bibliographical references :p. (379-403)and index.
There are no comments on this title.