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

 - Cambridge  CambridgeUniversity Press          1994 
 - xv,202p 
 - Cambridge tracts in theoretical computer science .
<br/><br/> Bibliography 189-196p; Index 197-202p 
<br/><br/><label>ISBN: </label>052142027X (hbd) 
<br/><br/><label>Standard No.: </label>3203 
<br/><br/><label>Source: </label> Selectbook,  Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics and Computers
<br/><br/><label>Dewey Class. No.: </label>B0a9S, N4