Semantics and Logics of Computation by Andrew M. Pitts
Look inside with Google Book Preview
Semantics and Logics of Computation
By Andrew M. Pitts

Semantics and Logics of Computation

Edited by See other recent books by Andrew M. Pitts See other recent books by Peter Dybjer
Format: Hardback

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 Available to Backorder, No Due Date for Supply, Not for Xmas



Semantics and Logics of Computation by Andrew M. Pitts

Book 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.

Buy Semantics and Logics of Computation book by Andrew M. Pitts from Australia's Online 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...


Books By Author Andrew M. Pitts

Nominal Sets by 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 by Andrew M. Pitts 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 by Andrew M. Pitts Higher Order Operational Techniques in Semantics, Hardback (January 1998)

A 1998 collection of original articles by leading researchers in area of programming languages.

» View all books by Andrew M. Pitts

Reviews

» 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!)

Write a book 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.

Boomerang Bucks close

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.

Recent books by Andrew M. Pitts close
Nominal Sets by Andrew M. Pitts
Semantics and Logics of Computation by Andrew M. Pitts
Higher Order Operational Techniques in Semantics by Andrew M. Pitts
»
Recent books by Peter Dybjer close
Semantics and Logics of Computation by Peter Dybjer
Semantics and Logics of Computation by Peter Dybjer
»
BoomerangBooks.com.au close