أرسل هذا في رسالة قصيرة: The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.