![PDF) Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas PDF) Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas](https://i1.rgstatic.net/publication/38390363_Review_Burton_Dreben_and_Warren_D_Goldfarb_The_decision_problem_Solvable_classes_of_quantificational_formulas_and_Harry_R_Lewis_Unsolvable_classes_of_quantificational_formulas/links/5477ba650cf205d1687c5dff/largepreview.png)
PDF) Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas
1) Letter from Burton Dreben to Colleague. March 25, 1985. Typescript, signed (photocopy). Asking for nominations for the Three-year Junior fellowships by the Society of Fellows (Note 2) | 香港中文大学数码典藏
![Annual meeting of the Association for Symbolic Logic | The Journal of Symbolic Logic | Cambridge Core Annual meeting of the Association for Symbolic Logic | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200109879/resource/name/firstPage-S0022481200109879a.jpg)
Annual meeting of the Association for Symbolic Logic | The Journal of Symbolic Logic | Cambridge Core
![Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200056383/resource/name/firstPage-S0022481200056383a.jpg)
Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory
![9780201025408: Decision Problem: Solvable Classes of Quantificational Formulas - Dreben, Burton; Goldfarb, Warren: 020102540X - IberLibro 9780201025408: Decision Problem: Solvable Classes of Quantificational Formulas - Dreben, Burton; Goldfarb, Warren: 020102540X - IberLibro](https://pictures.abebooks.com/isbn/9780201025408-es.jpg)
9780201025408: Decision Problem: Solvable Classes of Quantificational Formulas - Dreben, Burton; Goldfarb, Warren: 020102540X - IberLibro
528 BURTON DREBEN, A. S. KAHR AND HAO WANG [September sional Brownian motion, and Kac [2] for a restricted class of random walks
![The Decision Problem: Solvable Classes of Quantificational Formulas: Dreben, Burton, Goldfarb, Warren D.: 9780201025408: Amazon.com: Books The Decision Problem: Solvable Classes of Quantificational Formulas: Dreben, Burton, Goldfarb, Warren D.: 9780201025408: Amazon.com: Books](https://m.media-amazon.com/images/I/41oJunBFt0L._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
The Decision Problem: Solvable Classes of Quantificational Formulas: Dreben, Burton, Goldfarb, Warren D.: 9780201025408: Amazon.com: Books
![Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 528–532. | The Journal of Symbolic Logic | Cambridge Core Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 528–532. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200116858/resource/name/firstPage-S0022481200116858a.jpg)