Ebook: Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]
Author: Pitts Andrew M. Dybjer P. (eds.)
- Genre: Mathematics // Logic
- Tags: Formale Semantik., Kategorielle Logik.
- Series: Isaac Newton Institute for Mathematical Sciences <Cambridge>. Publications of the Newton Institute, 14
- Year: 1997
- Publisher: Cambridge University Press
- City: Cambridge
- Edition: 1. publ
- Language: English
- djvu
Download the book Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995] for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)