Accompaniment to higher mathematics
By: Exner, George R.
Material type:
BookSeries: Undergraduate text in mathematics.Publisher: New York: Springer-Verlag, 1996Description: 198 p.; index: 24 cm.ISBN: 0387946179 .Subject(s): Proof theory | Undergraduate text in mathematicsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 EXN (Browse shelf) | Available | 005723 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 EPS Classical mathematical logic: the semantic foundations of logic . | 511.3 EPS Word processing in groups | 511.3 ERD Complexity explained | 511.3 EXN Accompaniment to higher mathematics | 511.3 FEF In the light of logic | 511.3 FER Models of computation : an introduction to computability theory | 511.3 FIT First-order logic and automated theorem proving |
There are no comments for this item.