Call Boomerang Books 1300 36 33 32

Description - Semantics and Logics of Computation by Andrew M. Pitts

The aim of this volume is to present modern 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 have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Buy Semantics and Logics of Computation by Andrew M. Pitts from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521580571
ISBN-10: 0521580579
Format: Hardback
(228mm x 152mm x 25mm)
Pages: 376
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 30-Jan-1997
Country of Publication: United Kingdom

Other Editions - Semantics and Logics of Computation by Andrew M. Pitts

Book Reviews - Semantics and Logics of Computation by Andrew M. Pitts

» Have you read this book? We'd like to know what you think about it - write a review about Semantics and Logics of Computation book by Andrew M. Pitts and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Author Biography - Andrew M. Pitts

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Books By Andrew M. Pitts

Nominal Sets by Andrew M. Pitts
Hardback, May 2013
$139.50
Semantics and Logics of Computation by Andrew M. Pitts
Paperback, May 2009
$59.36