TY  - BOOK
AU  - Dreben, Burton,
AU  - Goldfarb, Warren D.,
TI  - The decision problem: Solvable classes of quantificational formulas 
SN  - 020102540x
AV  - QA9.35 D73
PY  - 1979///
CY  - Reading, mass.
PB  - Addison-wesley
KW  - Cálculo de predicados
KW  - Irresolubilidad (Lógica matemática)
N1  - "advanced book program"
ER  -