Semantics and Logics of Computation. This item is unavailable.
Language: English
Published by Cambridge University Press, 2009
- Softcover
- New
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
AbeBooks seller since April 6, 2009
Unavailable
Softcover
Condition: New
£ 48.72
Seller Inventory # 6399241-n
- Title
- Semantics and Logics of Computation
- Author
- Pitts, Andrew M. (EDT); Dybjer, Peter (EDT)
- Publisher
- Cambridge University Press
- Publication year
- 2009
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0521118468
- ISBN 13
- 9780521118460
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.
"Synopsis" may belong to another edition of this title.
About the Author
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
"About the title" may belong to another edition of this title.
Search results for Semantics and Logics of Computation
There are 2 more copies of this bookView all results