APA-Zitierstil (7. Ausg.)

Bell, J. L. (2022). Higher-order logic and type theory. Cambridge University Press. https://doi.org/10.1017/9781108981804

Chicago-Zitierstil (17. Ausg.)

Bell, John L. Higher-order Logic and Type Theory. Cambridge: Cambridge University Press, 2022. https://doi.org/10.1017/9781108981804.

MLA-Zitierstil (9. Ausg.)

Bell, John L. Higher-order Logic and Type Theory. Cambridge University Press, 2022. https://doi.org/10.1017/9781108981804.