A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.
Material type: TextSeries: Oxford texts in logic ; 1Publication details: Oxford : Oxford University Press, 2004.ISBN:- 0198529813
- 0198529805
- 160 22
Item type | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Two Week Loan | de Havilland Learning Resources Centre Main Shelves | 160 HED (Browse shelf(Opens below)) | Available | 5000126804 |
Total holds: 0
Enhanced descriptions from Syndetics:
Includes index.
Bibliography: p. 426-427.