APA (7th ed.) Citation

Setzer, A. (2000). Extending Martin-Löf Type Theory by one Mahlo-universe. Archive for Mathematical Logic, 39(3), 155. https://doi.org/10.1007/s001530050140

Chicago Style (17th ed.) Citation

Setzer, Anton. "Extending Martin-Löf Type Theory by One Mahlo-universe." Archive for Mathematical Logic 39, no. 3 (2000): 155. https://doi.org/10.1007/s001530050140.

MLA (9th ed.) Citation

Setzer, Anton. "Extending Martin-Löf Type Theory by One Mahlo-universe." Archive for Mathematical Logic, vol. 39, no. 3, 2000, p. 155, https://doi.org/10.1007/s001530050140.

Warning: These citations may not always be 100% accurate.