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]

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.)
Publisher
Cambridge University Press
Language
English
Edition
1. publ
Year
1997
Page
361
ISBN
978-0-521-58057-1,0521580579
File Type
djvu
File Size
2.0 MiB

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.

show more...

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book