Semantics and Logics of Computation : Publications of the Newton Institute - Andrew M.  Pitts

Semantics and Logics of Computation

By: Andrew M. Pitts (Editor), P. Dybjer (Editor)

Hardcover | 31 March 1997

At a Glance

Hardcover


RRP $242.95

$235.75

or 4 interest-free payments of $58.94 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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.
Industry Reviews
'... the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal

Other Editions and Formats

Paperback

Published: 20th August 2009

More in Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen
Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $130.00

$117.25

10%
OFF
Polygraphs : From Rewriting to Higher Categories - Albert  Burroni
Primal Heuristics in Integer Programming - Andrea  Lodi

RRP $144.95

$140.75

Math for Programming - Ronald T. Kneusel

$86.75