Shankar, N <br/><br/>
Metamathematics, machines, and Godel's proof 

 - Cambridge:  CUP  1994 
 - xv, 202p. : ill. 
<br/><br/><label>ISBN: </label>052142027X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>AUTOMATIC THEOREM PROVING
<br/><br/><label>LC Class. No.: </label>QA 9 Sha