Sipser, Michael <br/><br/>
Theory of computation 
Michael Sipser. 
 - Australia  Course technology  c2007. 
 - 346p.: ill.; 24cm. 
<br/><br/> Bibliography p.333-36. 
<br/><br/><label>ISBN: </label>9788131505137 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematic Mathematical logic. 
<br/><br/><label>Dewey Class. No.: </label>005.131  / S47T