Ebook: Semantics and logics of computation
Author: Andrew M. Pitts P. Dybjer
- Genre: Mathematics // Computational Mathematics
- Series: Publications of the Newton Institute 14
- Year: 2009
- Publisher: Cambridge University Press
- City: Cambridge; New York
- Edition: 1
- Language: English
- djvu
This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.
Download the book Semantics and logics of computation for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)