Pohlers, Wolfram books & textbook
Proof Theory: The First Step into Impredicativity (Universitext)
Springer /2008-10-13 Paperback / 388 Pages
isbn-10: 3540693181 / isbn-13: 9783540693185
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
Springer /1989-10-25 Paperback / 228 Pages
isbn-10: 3540518428 / isbn-13: 9783540518426
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Buchholz, Wilfred Sieg, Wilfried Feferman, Solomon Pohlers, Wolfram
Springer /1981-12-01 Paperback / 392 Pages
isbn-10: 3540111700 / isbn-13: 9783540111702
Proof Theory: The First Step into Impredicativity (Universitext) by Wolfram Pohlers (13-Oct-2008) Paperback
Springer; 1st ed. 1989. 2nd printing 2008 edition (13 Oct. 2008) / Paperback
Proof Theory: An Introduction (Lecture Notes in Mathematics, Volume 1407) [Special Indian Edition - Reprint Year: 2020]
SPRINGER NATURE (SIE) / Paperback / 220 Pages
isbn-10: 3662600617 / isbn-13: 9783662600610
Logic Colloquium '02: Lecture Notes in Logic 27
Chatzidakis, Zoe Koepke, Peter Pohlers, Wolfram
A K Peters/CRC Press /2006-07-15 Paperback / 370 Pages
isbn-10: 1568813015 / isbn-13: 9781568813011
Mathematische Grundlagen der Informatik (Handbuch der Informatik, 1.5) (German Edition)
De Gruyter Oldenbourg /1993-04-01 Hardcover / 193 Pages
isbn-10: 3486221132 / isbn-13: 9783486221138
