Get Free Shipping on orders over $79
Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990 - Peter Aczel

Proof Theory

A Selection of Papers from the Leeds Proof Theory Programme 1990

By: Peter Aczel (Editor), Harold Simmons (Editor), Stanley S. Wainer (Editor)

Paperback | 28 February 2008

At a Glance

Paperback


RRP $75.95

$71.75

or 4 interest-free payments of $17.94 with

 or 

Ships in 5 to 7 business days

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

More in Software Engineering

Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
The Essence of Software Engineering - Cersei Page
The Art of Spyro : Reignited Trilogy - Micky Neilson

RRP $75.00

$61.99

17%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Hacker's Delight - Henry Warren

RRP $97.60

$76.75

21%
OFF