Open Access
July 1982 Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas
Yuri Gurevich
Bull. Amer. Math. Soc. (N.S.) 7(1): 273-277 (July 1982).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.7 • No. 1 • July 1982
Back to Top