Boolos, George <br/><br/>
Computability and logic / 
Georges bools, Richard c. jeffrey 
 - 3 
 - 304 páginas 
<br/><br/><label>ISBN: </label>052138026x 0-521-38923-2  (rustica) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Funciones recursivas<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA248.5  / B65 1989