Pohlers, Wolfram: Mathematische Grundlagen der Informatik
/ von Wolfram Pohlers. - München : Oldenbourg, 1993. - 193 S.; 25 cm - (Handbuch der Informatik; Bd. 1.5)
ISBN 978-3-486-22113-8 / 3-486-22113-2 Pp. : DM 64.00
Literaturverz. S. 181 - 185
Quelle: DNB
Pohlers, Wolfram: Proof theory
: an introduction / Wolfram Pohlers. - 2. printing - Berlin : Springer, 1994. - VIII, 213 S.; 24 cm - (Lecture notes in mathematics; 1407)
ISBN 978-3-540-51842-6 / 3-540-51842-8 kart. : DM 37.00
Literaturverz. S. 190 - 207
Quelle: DNB
Pohlers, Wolfram: Proof theory
: the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, 2009. - XIII, 370 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-69318-5 kart. : EUR 42.75 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturverz. S. 357 - 361
Quelle: DNB Verlagsmeldungen
Proof theory
: the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, 2008. - Online-Ressource - (Universitext)
ISBN 978-3-540-69319-2
Lizenzpflichtig
Quelle: DNB
