Semantics and Logics of Computation
Normal Price: $220.00
Your Price: $198.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $22.00! (10% off normal price)
Plus...earn $9.90 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply, Not for Xmas
Semantics and Logics of Computation by Andrew M. Pitts
Book DescriptionThe 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.
Buy Semantics and Logics of Computation book by Andrew M. Pitts from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521580571
(228mm x 152mm x 25mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 30-Jan-1997
Country of Publication: United Kingdom
Books By Author Andrew M. Pitts
Nominal Sets, Hardback (May 2013)
The first detailed account of the basic theory and applications of nominal sets.
Semantics and Logics of Computation, Paperback (August 2009)
Summer school lecture courses on modern logic and computation are presented here.
Higher Order Operational Techniques in Semantics, Hardback (January 1998)» View all books by Andrew M. Pitts
A 1998 collection of original articles by leading researchers in area of programming languages.
» 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 member - it's free to sign up!)
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.
Phone: 1300 36 33 32 (9am-2pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687