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 (Hardcover) Loot Price: R3,462
Discovery Miles 34 620
Semantics and Logics of Computation (Hardcover): Andrew M. Pitts, P. Dybjer

Semantics and Logics of Computation (Hardcover)

Andrew M. Pitts, P. Dybjer

Series: Publications of the Newton Institute

 (sign in to rate)
Loot Price R3,462 Discovery Miles 34 620 | Repayment Terms: R324 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

The aim of this volume is to present modern 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 have 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: 1997
First published: 1997
Editors: Andrew M. Pitts • P. Dybjer
Dimensions: 235 x 157 x 25mm (L x W x T)
Format: Hardcover
Pages: 376
ISBN-13: 978-0-521-58057-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN: 0-521-58057-9
Barcode: 9780521580571

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