Willkommen, schön sind Sie da!
Logo Ex Libris

Proof Theory

  • Kartonierter Einband
  • 320 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory... Weiterlesen
CHF 58.50
Print on demand - Exemplar wird für Sie besorgt.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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

Klappentext

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

Inhalt

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.

Produktinformationen

Titel: Proof Theory
Untertitel: A Selection of Papers from the Leeds Proof Theory Programme 1990
Editor:
EAN: 9780521054164
ISBN: 0521054168
Format: Kartonierter Einband
Herausgeber: Cambridge University Press
Anzahl Seiten: 320
Gewicht: 494g
Größe: H229mm x B152mm x T18mm
Jahr: 2007