Cita APA (7a ed.)
Klev, A. (2019). The Justification of Identity Elimination in Martin-Löf's Type Theory. Topoi: An International Review of Philosophy, 38(3), 577-591.
Cita Chicago Style (17a ed.)
Klev, Ansten. "The Justification of Identity Elimination in Martin-Löf's Type Theory." Topoi: An International Review of Philosophy 38, no. 3 (2019): 577-591.
Cita MLA (9a ed.)
Klev, Ansten. "The Justification of Identity Elimination in Martin-Löf's Type Theory." Topoi: An International Review of Philosophy, vol. 38, no. 3, 2019, pp. 577-591.
Precaución: Estas citas no son 100% exactas.