TY  - BOOK
AU  - Lewis,Harry R.
TI  - Unsolvable classes of quantificational formulas
SN  - 0201040697
PY  - 1979///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Unsolvability (Mathematical logic)
KW  - Combinatorial analysis
KW  - Computable functions
N1  - 'Advanced Book Program.'; Includes indexes; Bibliography: p. 190-194
ER  -