Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback) Loot Price: R1,210

Discovery Miles 12 100

Repayment Terms: R113 pm x 12*

Add to cart

Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback): Peter Aczel, Harold Simmons,...

Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback)

Peter Aczel, Harold Simmons, Stanley S. Wainer

(sign in to rate)

Loot Price R1,210 Discovery Miles 12 100 | Repayment Terms: R113 pm x 12*

Expected to ship within 12 - 19 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	2008
First published:	February 2008
Editors:	Peter Aczel • Harold Simmons • Stanley S. Wainer
Dimensions:	228 x 151 x 18mm (L x W x T)
Format:	Paperback - Trade
Pages:	320
ISBN-13:	978-0-521-05416-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	0-521-05416-8
Barcode:	9780521054164