Search books

>> Advanced Search
 



Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Paperback / softback

Main Details

Title Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Authors and Contributors      Edited by Peter Aczel
Edited by Harold Simmons
Edited by Stanley S. Wainer
Physical Properties
Format:Paperback / softback
Pages:320
Dimensions(mm): Height 228,Width 151
Category/GenreMathematical theory of computation
ISBN/Barcode 9780521054164
ClassificationsDewey:511
Audience
Professional & Vocational
Illustrations Worked examples or Exercises

Publishing Details
Publisher Cambridge University Press
Imprint Cambridge University Press
Publication Date 21 January 2008
Publication Country United Kingdom

Description

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.