Proof theory: a selection of papers from the Leeds proof theory programme 1990
Aczel, Peter
Simmons, Harold
Wainer, Stanley S.
36,58 €(IVA inc.)
INDICE: 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. Logicsfor 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.
- ISBN: 978-0-521-05416-4
- Editorial: Cambridge University
- Encuadernacion: Rústica
- Páginas: 316
- Fecha Publicación: 28/02/2008
- Nº Volúmenes: 1
- Idioma: Inglés