| Type |  Book |
| ชื่อเรื่อง | Introduction to mathematical logic and resolution principle / Guo-Jun Wang, Hong-Jun Zhou |
| ผู้แต่ง | Wang, Guo-jun |
| ISBN | 1842655663 |
| | 9781842655665 : ฿2465.00 |
| พิมพลักษณ์ | England : Alpha Science, c2009 |
| ครั้งที่พิมพ์ | 2 nd ed |
| รูปเล่ม | viii, 335 p |
| ลิงค์ | Contents. |
| หัวเรื่อง | Logic, Symbolic and mathematical --Textbooks [] |