Kleene, Stephen Cole,  1909- <br/><br/>
Introduction to metamathematics / 
by Stephen Cole Kleene. 
 - Groningen :  Wolters-Noordhoff Pub.,  1971 
 - x, 550 p. :  ill. ;  23 cm. 
 - Bibliotheca mathematica ;  v.1. .
<br/><br/>p. 517-537 
<br/><br/><label>ISBN: </label>0720421039 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Metamathematics.