автор: Wolfram Pohlers

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable …

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 …

The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische * Wilhelms-Universitat * in Munster * . It was planned as a …

Logic Colloquium ’02 includes articles from some of the world’s preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. …

…