Introduction to mathematical logic and type theory: to truth through proof
Material type:
TextSeries: Computer science and applied mathematicsPublication details: New York Academic Press 1986Description: xv, 304p, 22 cmSubject(s): DDC classification: - 511.3, D, and
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
Central Library | 511.3, D, and (Browse shelf(Opens below)) | Available | 19543 |
There are no comments on this title.
Log in to your account to post a comment.