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
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.
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.