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 (Hardcover) Loot Price: R3,473

Discovery Miles 34 730

Repayment Terms: R325 pm x 12*

Add to cart

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

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

Peter Aczel, Harold Simmons, Stanley S. Wainer

(sign in to rate)

Loot Price R3,473 Discovery Miles 34 730 | Repayment Terms: R325 pm x 12*

Expected to ship within 12 - 19 working days

Description
Details
Customer Reviews

This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	February 1993
First published:	1992
Editors:	Peter Aczel • Harold Simmons • Stanley S. Wainer
Dimensions:	229 x 152 x 22mm (L x W x T)
Format:	Hardcover
Pages:	320
ISBN-13:	978-0-521-41413-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	0-521-41413-X
Barcode:	9780521414135