TY  - BOOK
AU  - DREBEN, BURTON
TI  - THE DECISION PROBLEM : SOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
SN  - 020102540X
U1  - 511.3 
PY  - 1979///
CY  - Estados Unidos
PB  - ADDISON - WESLEY
KW  - CALCULO DE PREDICADOS
KW  - INSOLUBILIDAD (LOGICA MATEMATICA)
ER  -