| Type |  Book |
| ชื่อเรื่อง | The decision problem : solvable classes of quantificational formulas / B. Dreben & W.D. Goldfarb |
| ผู้แต่ง | Dreben, Burton |
| พิมพลักษณ์ | Massachsetts : Addison-Wesley, c1979 |
| รูปเล่ม | 271 p |
| หัวเรื่อง | Predicate calculus |
| | Symbolic and mathematical logic |