APA-Zitierstil (7. Ausg.)

Nederpelt, R. (2014). Type theory and formal proof: An introduction. Cambridge University Press. https://doi.org/10.1017/CBO9781139567725

Chicago-Zitierstil (17. Ausg.)

Nederpelt, Rob. Type Theory and Formal Proof: An Introduction. Cambridge: Cambridge University Press, 2014. https://doi.org/10.1017/CBO9781139567725.

MLA-Zitierstil (9. Ausg.)

Nederpelt, Rob. Type Theory and Formal Proof: An Introduction. Cambridge University Press, 2014. https://doi.org/10.1017/CBO9781139567725.