An introduction to mathematical logic and type theory: to truth through proof
by Andrews, Peter B.
Publisher: Boston Academic press, Inc 1986Description: p304.ISBN: 0120585359.| Item type | Current location | Call number | url | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Long Loan | MAIN LIBRARY | QA9.A63 (Browse shelf) | 11248 | Available | 019108 |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA37.2.O63 1987 Mathematics: A Second Level Course | QA311.P43 The Riemann Approach To Intergration | QA311.P43 The Riemann Approach To Intergration | QA9.A63 An introduction to mathematical logic and type theory: to truth through proof | QA9.G54 Guide to mathematics | QA9.G54 Guide to mathematics | QA76.9.D3S55 2002 Database System Concepts |
There are no comments for this item.