Articoli correlati a Proof Theory: An Introduction (Lecture Notes in Mathematics)...
Sinossi
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 65,89
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Proof Theory: An Introduction (Lecture Notes in Mathematics)...
Foto dell'editore
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
Da: BGV Books LLC, Murray, KY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Exact ISBN match. Immediate shipping. No funny business. Codice articolo 9783540518426
Quantità: 3 disponibili
Foto dell'editore
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
Editore:
Springer (edition ), 1989
ISBN 10: 3540518428
ISBN 13: 9783540518426
Antico o usato
Paperback
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Codice articolo 3540518428-7-1
Quantità: 1 disponibili
Foto dell'editore
Proof Theory (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989
ISBN 10: 3540518428
ISBN 13: 9783540518426
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers. Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783540518426
Quantità: 1 disponibili
Immagini fornite dal venditore
Proof Theory
Editore:
Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518428
ISBN 13: 9783540518426
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers. 228 pp. Englisch. Codice articolo 9783540518426
Quantità: 2 disponibili
Foto dell'editore
Proof Theory
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26128253186
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. Codice articolo 131285725
Quantità: 4 disponibili
Immagini fornite dal venditore
Proof Theory
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.Although this is an introductory text on proof . Codice articolo 4892156
Quantità: Più di 20 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. Codice articolo 18128253192
Quantità: 4 disponibili
Immagini fornite dal venditore
Proof Theory
ISBN 10: 3540518428
ISBN 13: 9783540518426
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch. Codice articolo 9783540518426
Quantità: 1 disponibili
Immagini fornite dal venditore
Proof Theory : An Introduction
Editore:
Springer Berlin Heidelberg, Springer Berlin Heidelberg, 1989
ISBN 10: 3540518428
ISBN 13: 9783540518426
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers. Codice articolo 9783540518426
Quantità: 1 disponibili