Can I read Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407) on EtoBox?

Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407) by Wolfram Pohlers, Pohlers is a nonfiction available to read on EtoBox.

What is Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407) about?

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. Wolfram Pohlers. Includes Bibliographical References (p. 190-207) And Indexes.

Who reads Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)?

Author

Wolfram Pohlers, Pohlers

Publisher

Springer Spektrum. in Springer-Verlag GmbH

Published

1989

Language

EN

ISBN

9780387518428

Category

nonfiction

Subjects

Mathematics, Stem