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


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.

R3,260

Or split into 4x interest-free payments of 25% on orders over R50
Learn more

Discovery Miles32600
Mobicred@R306pm x 12* Mobicred Info
Free Delivery
Delivery AdviceShips in 12 - 17 working days


Toggle WishListAdd to wish list
Review this Item

Product Description

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.

Customer Reviews

No reviews or ratings yet - be the first to create one!

Product Details

General

Imprint

Cambridge UniversityPress

Country of origin

United Kingdom

Release date

February 1993

Availability

Expected to ship within 12 - 17 working days

First published

1992

Editors

, ,

Dimensions

229 x 152 x 22mm (L x W x T)

Format

Hardcover

Pages

320

ISBN-13

978-0-521-41413-5

Barcode

9780521414135

Categories

LSN

0-521-41413-X



Trending On Loot