Kreisel G <br/><br/>
Formally self-referential propositions for cut free classical analysis and related systems 
Kreisel G; Takeuti G 
 - Warezawa  Panstwowe Wydawnictwo Naukowe         1970 
 - 55p.  cm. 
 - Dissertationes mathematicae; 118 .
<br/><br/> Appendix 44-48p 
<br/><br/><label>Standard No.: </label>21892 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B313N, L42