Kleene, Stephen Cole,  1909- <br/><br/>
Introduction to metamathematics / 
by Stephen Cole Kleene. 
 - Amsterdam :  North-Holland Publishing Co.,  1971 
 - 550 p. ;  23 cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Metamathematics.