Börger, E.  1946- <br/><br/>
The classical decision problem /  Egon Borger, Erich Gradel, Yuri Gurevich 

 - 482 páginas :  ilustraciones 
 - Perspectives in mathematical logic .
<br/><br/><label>ISBN: </label>3-540-57073-X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cálculo de predicados<br/>Irresolubilidad (Lógica matemática)<br/>Toma de decisiones
<br/><br/><label>LC Class. No.: </label>QA9.35  / B67