0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Semantics and Logics of Computation (Paperback) Loot Price: R1,228
Discovery Miles 12 280
Semantics and Logics of Computation (Paperback): Andrew M. Pitts, P. Dybjer

Semantics and Logics of Computation (Paperback)

Andrew M. Pitts, P. Dybjer

Series: Publications of the Newton Institute

 (sign in to rate)
Loot Price R1,228 Discovery Miles 12 280 | Repayment Terms: R115 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

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.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: Publications of the Newton Institute
Release date: August 2009
First published: May 2009
Editors: Andrew M. Pitts • P. Dybjer
Dimensions: 229 x 152 x 21mm (L x W x T)
Format: Paperback - Trade
Pages: 376
ISBN-13: 978-0-521-11846-0
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN: 0-521-11846-8
Barcode: 9780521118460

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners