Pitts, A. M. (1997). Semantics and logics of computation. Cambridge Univ. Press.
Chicago Style (17th ed.) CitationPitts, Andrew M. Semantics and Logics of Computation. Cambridge: Cambridge Univ. Press, 1997.
MLA (9th ed.) CitationPitts, Andrew M. Semantics and Logics of Computation. Cambridge Univ. Press, 1997.
Warning: These citations may not always be 100% accurate.