TY  - BOOK
AU  - Lewis, Harry R.
TI  - UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
U1  - 511.3 
PY  - 1979///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Unsolvability (Mathematical Logic)
KW  - Combinatorial Analysis
KW  - Computable Functions
ER  -