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 73,21
GRATIS per la spedizione da U.S.A. 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: 052141413X
ISBN 13: 9780521414135
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-286-628
Quantità: 1 disponibili
Immagini fornite dal venditore
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press, 1992
ISBN 10: 052141413X
ISBN 13: 9780521414135
Antico o usato
Rilegato
Prima edizione
Da: Chamblin Bookmine, Jacksonville, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
8Vo Hardcover. Condizione: Very Good. 1st. 306pp. White pages are unmarked. Boards are glossy with lightly bumped corners and minor shelf wear. Binding is tight and square, hinges are secure. Codice articolo 81246
Quantità: 1 disponibili
Foto dell'editore
PROOF THEORY: A SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY PROGRAMME 1990
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-102804
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A Selection Of Papers From The Leeds Proof Theory Programme 1990
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-183831
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press, 1992
ISBN 10: 052141413X
ISBN 13: 9780521414135
Antico o usato
Rilegato
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Cloth/Laminated Boards. Condizione: Very Good. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped. Codice articolo 051372
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press, 1993
ISBN 10: 052141413X
ISBN 13: 9780521414135
Antico o usato
Rilegato
Da: Best and Fastest Books, Wantage, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Good solid copy, mild to moderate reading/age wear, no DJ if issued, may have some light markings or exowner inscription. We take great pride in accurately describing the condition of our books and media, ship within 48 hours, and offer a 100% money back guarantee. Customers purchasing more than one item from us may be entitled to a shipping discount. Codice articolo 1M5000006H9F_ns
Quantità: 1 disponibili
Foto dell'editore
Proof Theory
Editore:
Cambridge University Press CUP, 1993
ISBN 10: 052141413X
ISBN 13: 9780521414135
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 320. Codice articolo 26486292
Quantità: 1 disponibili
Foto dell'editore
Proof Theory
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 320 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam. Codice articolo 7394379
Quantità: 1 disponibili
Foto dell'editore
Proof Theory
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 320. Codice articolo 18486302
Quantità: 1 disponibili
Foto dell'editore
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Editore:
Cambridge University Press, 1993
ISBN 10: 052141413X
ISBN 13: 9780521414135
Antico o usato
Rilegato
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Codice articolo 120759
Quantità: 1 disponibili