TY  - BOOK
AU  - Kreisel G
AU  -  Takeuti G
TI  - Formally self-referential propositions for cut free classical analysis and related systems
T2  - Dissertationes mathematicae; 118
U1  - B313N, L42 
PY  - 1970///
CY  - Warezawa
PB  - Panstwowe Wydawnictwo Naukowe       
N1  - Appendix 44-48p
ER  -