| Type |  Book |
| ชื่อเรื่อง | A friendly introduction to mathematical logic / Christopher C. Leary |
| ผู้แต่ง | Leary, Christopher C., 1957- |
| ISBN | 0130107050 |
| | 0130107050 (hbk.) |
| พิมพลักษณ์ | Upper Saddle River, N.J. : Prentice Hall, c2000 |
| รูปเล่ม | xiv, 218 p. ; 24 cm |
| หัวเรื่อง | Computer logic |
| | Logic, Symbolic and mathematical |