| Type |  Book |
| ชื่อเรื่อง | Introduction to mathematics of satisfiability / Victor W. Marek |
| ผู้แต่ง | Marek, Victor w |
| ISBN | 1439801673 |
| | 9780429147456 (ebook) |
| | 9781439801673 |
| | 9781439801673 (hc) |
| พิมพลักษณ์ | Boca Raton : CRC Press, c2009 |
| รูปเล่ม | xiii, 350 p |
| ลิงค์ | Taylor & Francis eBooks |
| หัวเรื่อง | Logic, Symbolic and mathematical |
| | Propositional calculus |