First course in logic : an introduction to model theory, proof theory, computability, and complexity
By: Hedman, Shawn.
Material type:
BookSeries: Oxford texts in logic 1.Publisher: New York: Oxford University Press, 2004Description: xx, 431 p.; ill.: 25 cm.ISBN: 9780198529811 .Subject(s): Logic, Symbolic and mathematical | LogicDDC classification: 160
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 160 HED (Browse shelf) | Checked out | 16/12/2024 | 025433 |
There are no comments for this item.