Bird, R. J. <br/><br/>
Programs and machines :  an introduction to the theory of computation / 
Richard Bird. 
 - x, 214 pages ;  24 cm 
 - Wiley series in computing .
 - Wiley series in computing. .
<br/><br/> "A Wiley--Interscience publication.".  'A Wiley-Interscience Publication'. 
<br/><br/>Bibliography: (pages 208-211) and index. 
<br/><br/>Programs and machines -- The equivalence of programs -- Algorithms and universal machines -- Unsolvable decision problems -- The correctness of programs -- The definition of functions by recursion -- The fixed point theory of recursion -- Applications of the fixed point theory. 
<br/><br/><label>ISBN: </label>0471016500 (hardback) 
<br/><br/><label>LCCN: </label>75038893 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Machine theory
<br/><br/><label>Dewey Class. No.: </label>005.1