[align=left] Andrew M. Pitts, P. Dybjer, "Semantics and Logics of Computation"
Cambridge University Press | 1997 | ISBN: 0521580579, 0521118468, 051152661X | 376 pages | Djvu | 2 MB
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.
http://www.megaupload.com/?d=H17JYPXR[/align]
Cambridge University Press | 1997 | ISBN: 0521580579, 0521118468, 051152661X | 376 pages | Djvu | 2 MB
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.
http://www.megaupload.com/?d=H17JYPXR[/align]