Kreisel, G., & Takeuti, G. (1974). Formally self-referential propositions for cut free classical analysis and related systems. Dissertationes mathematicae 118.
Chicago Style CitationKreisel, Georg, and Gaisi Takeuti. "Formally Self-referential Propositions for Cut Free Classical Analysis and Related Systems." Dissertationes Mathematicae 118 1974.
MLA CitationKreisel, Georg, and Gaisi Takeuti. "Formally Self-referential Propositions for Cut Free Classical Analysis and Related Systems." Dissertationes Mathematicae 118 1974.
Warning: These citations may not always be 100% accurate.