Bücher online kaufen
Proof Theory
-0 %
A Selection of Papers from the Leeds Proof Theory Programme 1990
HC gerader Rücken kaschiert
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
Artikel-Nr:
9780521414135
Veröffentl:
2004
Einband:
HC gerader Rücken kaschiert
Erscheinungsdatum:
17.11.2004
Seiten:
320
Autor:
Peter Aczel
Gewicht:
674 g
Format:
235x157x23 mm
Sprache:
Englisch
Beschreibung:
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
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.