Tell your friends about this item:
Semantics and Logics of Computation - Publications of the Newton Institute Andrew M Pitts
Semantics and Logics of Computation - Publications of the Newton Institute
Andrew M Pitts
This book presents 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 courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.
376 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 20, 2009 |
| ISBN13 | 9780521118460 |
| Publishers | Cambridge University Press |
| Pages | 376 |
| Dimensions | 152 × 231 × 31 mm · 572 g |
| Language | English |
| Editor | Dybjer, P. (Chalmers University of Technology, Gothenberg) |
| Editor | Pitts, Andrew M. (University of Cambridge) |