Shankar, N. <br/><br/>
Mathematics, machines & Godel's proof / 
by N. Shankar. 
 - Cambridge, N.Y. :  Cambridge University Press,  1997. 
 - xv, 202 p. 
 - Cambridge Tracts in Theoretical Computer Science Ser. ; No. 38. .
<br/><br/> Includes bibliographical references and index.  Contents : The statement of the incompleteness theorem--Derived inference rules. 
<br/><br/><label>ISBN: </label>0521585333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Topology.<br/>Logic, Symbolic and mathematical.