Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Warren D. Goldfarb is a mathematician with a specialization in logic, most noted for his work on the classical decision problem, and in particular his book on the subject, The decision problem: Solvable classes of quantificational formulas, with Burton Dreben. He received his Ph.D. from Harvard University. As of 2008, he is a member of the Department of Philosophy at Harvard, where he is the Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic. He has been on the Harvard faculty since 1975, and was tenured in 1982, the only philosopher to win tenure at Harvard over a 37-year stretch from 1962 to 1999.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.