APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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