A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.
By: Hedman, Shawn
.
Material type: 
TextSeries: Oxford texts in logic ; 1. Publisher: Oxford ; New York : Oxford University Press, 2004Description: xx, 431 p. : ill. ; 25 cm.ISBN: 9780198529811.Subject(s): Logic | Logic, Symbolic and mathematicalDDC classification: 160 Online resources: Publisher description | Table of contents only
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Book
|
KCST Library | 160 He Fi (Browse shelf) | Available | 1000000297 |
Total holds: 0
Includes bibliographical references (p. [426]-427) and index.
There are no comments for this item.