Semantics and Logics of Computation
Andrew M Pitts editor P Dybjer editor
Format:Hardback
Publisher:Cambridge University Press
Published:30th Jan '97
Currently unavailable, and unfortunately no date known when it will be back
This hardback is available in another edition too:
- Paperback£41.99(9780521118460)
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: 9780521580571
Dimensions: 235mm x 157mm x 25mm
Weight: 650g
376 pages