Davis, Martin <br/><br/>
Computability, complexity, and languages : fundamentals of theoretical computer science 

 - 2. ed. 
 - San Diego, CA :  Morgan Kaufmann Publishers,  1994. 
 - 609 páginas 
<br/><br/><label>ISBN: </label>0122063821 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de las máquinas<br/>Complejidad computacional<br/>Lenguaje formal<br/>Máquina de Turing<br/>Lógica proposicional
<br/><br/><label>Dewey Class. No.: </label>511