Trajtenbrot, B. A. <br/><br/>
Los algoritmos y la resolución automática de problemas 

 - Moscú :   Mir,   1977 
 - 109 p. :   gráfs. ;   20 cm 
 - Lecciones populares de matemáticas .
<br/><br/> Notas bibliográficas al pie de página 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MAQUINAS DE TURING<br/>LOGICA FORMAL
<br/><br/><label>Universal Decimal Class. No.: </label>519.712