Cover Image Book

Semantics and logics of computation /

Other Authors: Pitts, A. M., Dybjer, Peter.
Format: Book
Language: English
Published: Cambridge UK ; New York : Cambridge University Press, 1997.
Series: Publications of the Newton Institute 14
Subjects:
Check holdings at Paniza Library, AUBG Call Number: QA76 .S425 1997