Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14) - Hardcover

 
9780521580571: Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)
Hardcover
ISBN 10: 0521580579 ISBN 13: 9780521580571
Publisher: Cambridge University Press, 1997

Synopsis

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 this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
1997
Language
English
ISBN 10 
0521580579
ISBN 13 
9780521580571
Binding
Hardcover
Number of pages
376
Editor
Pitts Andrew M., Dybjer P.

Other Popular Editions of the Same Title

9780521118460: Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)

Featured Edition

ISBN 10:  0521118468 ISBN 13:  9780521118460
Publisher: Cambridge University Press, 2009
Softcover