HUDU

Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990

Jetzt
€ 138,99
Bisher € 141,99
 
gebunden
Lieferbar innert 2 Wochen
November 2004

Beschreibung

Beschreibung

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


Inhaltsverzeichnis

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.
EAN: 9780521414135
ISBN: 052141413X
Untertitel: New. Sprache: Englisch.
Verlag: CAMBRIDGE UNIV PR
Erscheinungsdatum: November 2004
Seitenanzahl: 320 Seiten
Format: gebunden
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben