|
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Hardback
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:Hardback | | Pages:320 | | Dimensions(mm): Height 229,Width 152 |
|
| Category/Genre | Mathematical theory of computation |
|---|
| ISBN/Barcode |
9780521414135
|
| Classifications | Dewey:511 |
|---|
| Audience | | Professional & Vocational | |
|---|
|
Publishing Details |
| Publisher |
Cambridge University Press
|
| Imprint |
Cambridge University Press
|
| Publication Date |
11 February 1993 |
| Publication Country |
United Kingdom
|
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.
|
