Proof Theory Peter Aczel (University of Manchester)

Name: Proof Theory By Peter Aczel (University of Manchester)
SKU: 9780521414135
Price: 152.89 USD
Availability: InStock

Proof Theory by Peter Aczel (University of Manchester)

Reviews:

$152.89

Condition - New

Only 2 left

New

Summary

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.

Proof Theory Summary

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel (University of Manchester)

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.

Preface; Programme of lectures; 1. Basic proof theory S. Wainer and L. Wallen; 2. A short course in ordinal analysis W. Pohlers; 3. Proofs as programs H. Schwichtenberg; 4. A simplified version of local predicativity W. Buchholz; 5. A note on bootstrapping intuitionistic bounded arithmetic S. Buss; 6. Termination orderings and complexity characterisations E. Cichon; 7. Logics for termination and correctness of functional programs, II. Logics of strength PRA S. Feferman; 8. Reflecting the semantics of reflected proof D. Howe; 9. Fragments of Kripke-Platek set theory with infinity M. Rathjen; 10. Provable computable selection functions on abstract structures J. Tucker and J. Zucker.

Additional information

Sku

NPB9780521414135

ISBN 13

9780521414135

ISBN 10

052141413X

Title

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel (University of Manchester)

Author

Peter Aczel (University of Manchester)

Condition

New

Binding type

Hardback

Publisher

Cambridge University Press

Year published

1993-02-11

Number of pages

320

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Proof Theory Peter Aczel (University of Manchester)

Proof Theory by Peter Aczel (University of Manchester)

Summary

Proof Theory Summary

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel (University of Manchester)

Table of Contents

Additional information

Customer Reviews - Proof Theory