A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0198529805
- 0198529813 (pbk.)
- 160 H455
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library Lower Floor | 160 HED (Browse shelf(Opens below)) | Available | 000003206 |
Total holds: 0
Includes bibliographical references (p. [426]-427) and index.
There are no comments on this title.