Articoli correlati a Proof Theory: A selection of papers from the Leeds...
Sinossi
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 50,17
EUR 10,39 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Proof Theory: A selection of papers from the Leeds...
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Editore:
Cambridge University Press., 1993
ISBN 10: 0521054168
ISBN 13: 9780521054164
Antico o usato
Brossura
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
1. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Codice articolo 45596HB
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521054164_new
Quantità: Più di 20 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 316 pages. 8.82x5.98x0.94 inches. In Stock. This item is printed on demand. Codice articolo __0521054168
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press, 2008
ISBN 10: 0521054168
ISBN 13: 9780521054164
Antico o usato
Soft cover
Prima edizione
Da: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: Very Good. 1st Edition. No marks in text. Not a library book. Ships in a cardboard enclosure, with tracking. Tim's Used Books, open shop in Provincetown USA, providing good books at fair prices on the same spot since 1991. Codice articolo 246305
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press, 2008
ISBN 10: 0521054168
ISBN 13: 9780521054164
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 500. Codice articolo C9780521054164
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Proof Theory
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A collection of expository and research articles derived from the SERC Logic for IT Summer School and Conference on Proof Theory.InhaltsverzeichnisPreface Programme of lectures 1. Basic proof theory S. Wainer and L. Wallen 2. A . Codice articolo 446923344
Quantità: Più di 20 disponibili
Foto dell'editore
Proof Theory
Editore:
Cambridge University Press CUP, 2008
ISBN 10: 0521054168
ISBN 13: 9780521054164
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 320. Codice articolo 26529151
Quantità: 4 disponibili
Foto dell'editore
Proof Theory
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 320 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Codice articolo 8367392
Quantità: 4 disponibili
Foto dell'editore
Proof Theory
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 320. Codice articolo 18529141
Quantità: 4 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054168
ISBN 13: 9780521054164
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521054164
Quantità: 10 disponibili