Semantics and Logics of Computation
Download or Read eBook Semantics and Logics of Computation PDF written by Andrew M. Pitts and published by Cambridge University Press. This book was released on 1997-01-30 with total page 375 pages. Available in PDF, EPUB and Kindle.
| Author | : Andrew M. Pitts |
| Publisher | : Cambridge University Press |
| Total Pages | : 375 |
| Release | : 1997-01-30 |
| ISBN-10 | : 9780521580571 |
| ISBN-13 | : 0521580579 |
| Rating | : 4/5 (71 Downloads) |
Book Synopsis Semantics and Logics of Computation by : Andrew M. Pitts
Book excerpt: The aim of this volume is to present modern developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture course by international authorities in the area. The whole set have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.
