511.3  / SH18M <br/>
Shankar,N. <br/>
       METAMATHEMATICS MACHINES AND GODELS PROOF 
 / 
 .-  Cambridge Univ. Press, Cambridge,  1994 
 .- xv,202 . 
.- ( Cambridge Tracts In Theoretical Computer Science     
<br/>Includes Bibliographical References And Index 
<br><u>ISBN:</u> 052142027X 
<br/><u>Subject Headings:</u> <br/>Metamathematics;<br/>Godels Theorem;
<br><U>Copy Details:</u><br> Acc. No.: <b>A118747</b>, Full Call No.: 511.3 SH18M,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>