Wolfram Pohlers – författare
Visar alla böcker från författaren Wolfram Pohlers. Handla med fri frakt och snabb leverans.
9 produkter
Logic Colloquium '02
Lecture Notes in Logic 27
Av Wolfram Pohlers, Peter Koepke m. fl.
E-bok, 2006
864 kr
Lägg i varukorg
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. This book will be of interest to graduate students and researchers in the field of mathematical …
Logic Colloquium '02
Av Wolfram Pohlers, Peter Koepke m. fl.
E-bok
1223 kr
Lägg i varukorg
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 for years, but they are now in print once again. This volume, the twenty-seventh publication in the …
Logic Colloquium '02
Lecture Notes in Logic 27
Av Wolfram Pohlers, Peter Koepke m. fl.
E-bok, 2006
883 kr
Lägg i varukorg
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. This book will be of interest to graduate students and researchers in the field of mathematical …
Logic Colloquium '02
Lecture Notes in Logic 27
Av Zoé Chatzidakis, Peter Koepke m. fl.
Häftad, 2006
750 kr
Lägg i varukorg
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. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Proof Theory
An Introduction
E-bok, 2009
1037 kr
Lägg i varukorg
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 …
Proof Theory
An Introduction
Häftad, 1989
824 kr
Lägg i varukorg
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 …
Proof Theory
The First Step into Impredicativity
Häftad, 2008
824 kr
Lägg i varukorg
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 successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparing it, I decided to also …
Proof Theory
The First Step into Impredicativity
E-bok, 2008
1053 kr
Lägg i varukorg
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 successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparing it, I decided to also …
Logic Colloquium '02
Lecture Notes in Logic 27
Av Zoé Chatzidakis, Peter Koepke m. fl.
Inbunden, 2006
904 kr
Tillfälligt slut
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. This book will be of interest to graduate students and researchers in the field of mathematical logic.
