| Type |  Book |
| ชื่อเรื่อง | Mathematical logic for computer science / Mordechai Ben-Ari |
| ผู้แต่ง | Ben-ari, Mordechai |
| ISBN | 1447141288 |
| | 1447141296 (electronic bk.) |
| | 9781447141280 |
| | 9781447141297 |
| | 9781447141297 (electronic bk.) |
| พิมพลักษณ์ | London : Springer London, c2012 |
| ครั้งที่พิมพ์ | 3rd ed |
| รูปเล่ม | 1 online resource |
| ลิงค์ | Connect to resource |
| หัวเรื่อง | Logic, Symbolic and mathematical |
| | Electronic book |