Pohlers, Wolfram.
Pohlers, Wolfram 1943-
VIAF ID: 25156760 ( Personal )
Permalink: http://viaf.org/viaf/25156760
Preferred Forms
-
- 100 1 _ ‡a Pohlers, Wolfram
-
-
-
- 100 1 _ ‡a Pohlers, Wolfram
-
- 100 1 0 ‡a Pohlers, Wolfram
-
- 100 | _ ‡a Pohlers, Wolfram
- 100 1 _ ‡a Pohlers, Wolfram ‡d 1943-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Beweistheorie der iterierten induktiven Definitionen | |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | |
Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 | |
Mathematische Grundlagen der Informatik | |
Ontos mathematical logic | |
Proof theory : an introduction | |
Proof theory : the first step into impredicativity |