ISBN: 9783540468257
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 b… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540468257
Proof Theory - An Introduction: ab 74.99 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin Heidelberg eBook als pdf, Springer Berlin Heidelberg
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
ISBN: 9783540468257
; PDF \ Vladimir P. Gerdt; Scientific, Technical and Medical > Mathematical foundations, Springer Berlin Heidelberg
hive.co.uk No. 9783540468257 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten Details... |
ISBN: 9783540468257
; PDF; Scientific, Technical and Medical > Mathematical foundations, Springer Berlin Heidelberg
hive.co.uk No. 9783540468257. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540468257
Mathematics; Mathematical Logic and Foundations; Number Theory calculus, number theory, proof, proof theory Books eBook, Springer Nature
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540468257
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 b… Mehr…
ISBN: 9783540468257
Proof Theory - An Introduction: ab 74.99 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin Heidelberg eBook als pdf, Springer Berlin Heidelberg
ISBN: 9783540468257
; PDF \ Vladimir P. Gerdt; Scientific, Technical and Medical > Mathematical foundations, Springer Berlin Heidelberg
ISBN: 9783540468257
; PDF; Scientific, Technical and Medical > Mathematical foundations, Springer Berlin Heidelberg
ISBN: 9783540468257
Mathematics; Mathematical Logic and Foundations; Number Theory calculus, number theory, proof, proof theory Books eBook, Springer Nature
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Proof Theory
EAN (ISBN-13): 9783540468257
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-04-25T08:13:03+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-02T15:43:15+02:00 (Berlin)
ISBN/EAN: 9783540468257
ISBN - alternative Schreibweisen:
978-3-540-46825-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: pohlers, ren hang
Titel des Buches: proof theory
Daten vom Verlag:
Autor/in: Wolfram Pohlers
Titel: Lecture Notes in Mathematics; Proof Theory - An Introduction
Verlag: Springer; Springer Berlin
220 Seiten
Erscheinungsjahr: 2009-06-10
Berlin; Heidelberg; DE
Sprache: Englisch
80,24 € (DE)
82,50 € (AT)
88,50 CHF (CH)
Available
VIII, 220 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; calculus; number theory; proof; proof theory; B; Mathematical Logic and Foundations; Number Theory; Mathematics and Statistics; Mathematische Grundlagen; Zahlentheorie; BC
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.0 e
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319463155 Making Beautiful Deep-Sky Images: Astrophotography with Affordable Equipment and Software (The Patrick Moore Practical Astronomy Series) (Parker, Greg)
- 9783319463155 Making Beautiful Deep-Sky Images: Astrophotography with Affordable Equipment and Software (The Patrick Moore Practical Astronomy Series) (Parker, Greg)
- 9783540518426 Proof Theory: An Introduction: 1407 (Lecture Notes in Mathematics, 1407) (Pohlers, Wolfram)
- 9780387518428 Making Beautiful Deep-Sky Images (Pohlers, Wolfram; Parker, Greg)
- 9780387713533 Making Beautiful Deep-Sky Images (Greg Parker)
- 9780387713526 Making Beautiful Deep-Sky Images: Astrophotography with Affordable Equipment and Software (Patrick Moore's Practical Astronomy Series) (The Patrick Moore Practical Astronomy Series) (Parker, Greg)
< zum Archiv...