Image from Amazon.com
Handbook of proof theory edited by Samuel R. Buss
Series: Studies in logic and the foundations of mathematics ; vol. 137Publication details: New York : Elsevier, 1998.Description: 811 p.; 23 cmISBN:- 9780444898401
- 511.3
- QA9.54
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| Carti | IMAR | 511.3-BUS (Browse shelf(Opens below)) | 1 | Available | 0036481 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available |
|
|
|
|
No cover image available | ||
| 511.3-BOO-2 The laws of thought (1854) | 511.3-BOU-1 Elements de mathematique | 511.3-BUR Algebraic complexity theory | 511.3-BUS Handbook of proof theory | 511.3-BUS-1 Categories of algebraic logic | 511.3-CAR A graphic apology for symmetry and implicitness | 511.3-CAR A graphic apology for symmetry and implicitness |
eng
Contine Bibliografie la sfarsitul fiecarui capitol
Index p. 787
There are no comments on this title.
Log in to your account to post a comment.