Conte aos seus amigos sobre este 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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de janeiro de 1997 |
| ISBN13 | 9780521580571 |
| Editoras | Cambridge University Press |
| Páginas | 376 |
| Dimensões | 157 × 235 × 25 mm · 650 g |
| Idioma | Inglês |
| Editor | Dybjer, P. (Chalmers University of Technology, Gothenberg) |
| Editor | Pitts, Andrew M. (University of Cambridge) |