Semantics and Logics of Computation
Cambridge University Press

Semantics and Logics of Computation

Subjects: ICT, Mathematical theory of computation
ISBN13: 9780521118460
Published: 20 Aug 2009

Format - Paperback / softback
By Pitts, Andrew M.

Usually ready in 7-10 business days.

Regular price A$71.55
Sale price A$71.55 Regular price A$73.76

Semantics and Logics of Computation

Regular price A$71.55
Sale price A$71.55 Regular price A$73.76
Product description

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.

Shipping & Return

Shipping cost is based on weight. Just add products to your cart and use the Shipping Calculator to see the shipping price.

We want you to be 100% satisfied with your purchase. Items can be returned or exchanged within 30 days of delivery.