TY  - BOOK
AU  - Lewis, Harry Reynolds,
TI  - Unsolvable classes of quantificational formulas
SN  - 0201040697
AV  - QA9.63 L48
PY  - 1979///
CY  - Readings, Massachusetts
PB  - Addison-Wesley
KW  - Análisis combinatorio
KW  - Irresolubilidad (Lógica matemática)
N1  - "Advanced book program"
ER  -