| Type |  Book |
| ชื่อเรื่อง | A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman |
| ผู้แต่ง | Hedman, Shawn |
| ISBN | 0198529805 |
| | 0198529813 (pbk.) : ฿1700.00 |
| | 9780198529811 |
| พิมพลักษณ์ | Oxford ;New York : Oxford University Press, c2004 |
| รูปเล่ม | xx, 431 p. : ill. ; 25 cm |
| ลิงค์ | Contents. |
| หัวเรื่อง | Logic, Symbolic and mathematical |
| | Logic |