APA (7th ed.) Citation

Isaac Newton Institute for Mathematical Sciences, Pitts, A. M., & Dybjer, P. (1997). Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. Cambridge University Press.

Chicago Style (17th ed.) Citation

Isaac Newton Institute for Mathematical Sciences, A. M. Pitts, and Peter Dybjer. Semantics and Logics of Computation / Edited by Andrew M. Pitts, Peter Dybjer. Cambridge: Cambridge University Press, 1997.

MLA (9th ed.) Citation

Isaac Newton Institute for Mathematical Sciences, et al. Semantics and Logics of Computation / Edited by Andrew M. Pitts, Peter Dybjer. Cambridge University Press, 1997.

Warning: These citations may not always be 100% accurate.