Tell your friends about this item:
Semantics and Logics of Computation - Publications of the Newton Institute A Pitts
Semantics and Logics of Computation - Publications of the Newton Institute
A 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, Illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | January 30, 1997 |
| ISBN13 | 9780521580571 |
| Publishers | Cambridge University Press |
| Pages | 376 |
| Dimensions | 157 × 235 × 25 mm · 650 g |
| Language | English |
| Editor | Dybjer, P. (Chalmers University of Technology, Gothenberg) |
| Editor | Pitts, Andrew M. (University of Cambridge) |