Shankar, N. <br/><br/>
Metamathematics, machines and G�odel's proof / 
N. Shankar. 
 - Cambridge :  Cambridge University Press,  c1994. 
 - xv, 202 p. ;  25 cm. 
 - Cambridge tracts in theoretical computer science ;  38 .
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0521585333 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>G�odel's theorem--Data processing.<br/>Automatic theorem proving.