APA引文

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引文

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