Fisher, Alec <br/><br/>
Formal number theory and computability  A work book / 

 - Oxford :  Clarendon Press ,  1982. 
 -  Ppxiv+23.5cms 
 - Oxford Logic Guides .