APA Citation

Kreisel, G., & Takeuti, G. (1974). Formally self-referential propositions for cut free classical analysis and related systems. Dissertationes mathematicae 118.

Chicago Style Citation

Kreisel, Georg, and Gaisi Takeuti. "Formally Self-referential Propositions for Cut Free Classical Analysis and Related Systems." Dissertationes Mathematicae 118 1974.

MLA Citation

Kreisel, 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.