Lewis, Harry Reynolds, <br/><br/>
Unsolvable classes of quantificational formulas / 
Harry R. Lewis 
 - 198 páginas 
<br/><br/> "Advanced book program" 
<br/><br/><label>ISBN: </label>0201040697 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Análisis combinatorio<br/>Irresolubilidad (Lógica matemática)
<br/><br/><label>LC Class. No.: </label>QA9.63  / L48