Semantics and Logics of Computation
Andrew M Pitts editor P Dybjer editor
Format:Paperback
Publisher:Cambridge University Press
Published:20th Aug '09
Currently unavailable, and unfortunately no date known when it will be back
This paperback is available in another edition too:
- Hardback£125.00(9780521580571)
Summer school lecture courses on modern logic and computation are presented here.
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.The aim of this volume is to present 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. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.
Review of the hardback: '… the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal
ISBN: 9780521118460
Dimensions: 229mm x 152mm x 21mm
Weight: 550g
376 pages