| Type |  Book |
| ชื่อเรื่อง | Computability and Logic / G.S. Buolos, John P. Burgess, Richard C. Jeffrey |
| ผู้แต่ง | Boolos, George s |
| ISBN | 0521007585 |
| | 0521007585 (pbk) |
| พิมพลักษณ์ | Cambridge : Cambridge University Press, c2002 |
| | New York [NY] : Cambridge University Press, 2002 |
| ครั้งที่พิมพ์ | 4th ed |
| รูปเล่ม | 356 p. : ill |
| หัวเรื่อง | Symbolic and mathematical logic |
| | Computable functions |
| | Logic, Symbolic and mathematical |
| | Recursive functions |