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 |
There are no comments for this item.