Nederpelt, R. P., & Geuvers, H. (2014). Type theory and formal proof: An introduction. Cambridge University Press.
Čikaški stil citiranjaNederpelt, R. P., i Herman Geuvers. Type Theory and Formal Proof: An Introduction. Cambridge ; New York: Cambridge University Press, 2014.
MLA način citiranjaNederpelt, R. P., i Herman Geuvers. Type Theory and Formal Proof: An Introduction. Cambridge University Press, 2014.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.