Proof theory : an introduction /

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 ele...

Full description

Bibliographic Details

Main Author:	Pohlers, Wolfram
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in mathematics (Springer-Verlag) ; 1407.
Subjects:	Proof theory. Preuve, Théorie de la. Nombres ordinaux. Beweistheorie. Electronic books.
Online Access:	Connect to the full text of this electronic book