Fisher, Alec <br/><br/>
Formal number theory and computability  a workbook 
by Alec Fisher 
 - Oxford [Oxfordshire]  Clarendon Press  1982 
 - xiii, 190 p.  ill.  25 cm. 
 - Oxford logic guides  7 Oxford science publications .
<br/><br/> Includes index 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Godel's theorem<br/>Incompleteness theorems<br/>Number theory
<br/><br/><label>Dewey Class. No.: </label>512  / .72