DREBEN, BURTON <br/><br/>
THE DECISION PROBLEM : SOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS 

 - S.E. 
 - Estados Unidos  ADDISON - WESLEY  1979 READING 
 - 271 
<br/><br/><label>ISBN: </label>020102540X 
<br/><br/><label>LCCN: </label>83041 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CALCULO DE PREDICADOS<br/>INSOLUBILIDAD (LOGICA MATEMATICA)
<br/><br/><label>Dewey Class. No.: </label>511.3