Person:
Zeige 1 bis 10 von 37 Ergebnissen
Zeige 1 bis 10 von 37 Ergebnissen
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (eds.), The Legacy of Kurt Schütte. Cham, Heidelberg: . Research article (book contribution) | |
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (eds.), The Legacy of Kurt Schütte. Cham, Heidelberg: . Research article (book contribution) | |
Pohlers, Wolfram (2017) In: Jäger, Gerhard; Sieg, Wilfried (eds.), Feferman on Foundations. . Research article (book contribution) | |
Pohlers, Wolfram (2016) In: Probst, Dieter; Schuster, Peter (eds.), Concepts of proof in mathematics, philosophy, and computer science. Berlin: . Research article (book contribution) | |
Pohlers, Wolfram (2016) In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (eds.), Advances in proof theory,. Cham: . Research article (book contribution) | |
Pohlers, Wolfram (2015) In: Kahle, Reinhard; Rathjen, Michael (eds.), Gentzen's centenary. Cham,: . Research article (book contribution) | |
Pohlers, Wolfram; Stegert, Jan-Carl (2012) In: Berger, Ulrich; Diener, Hannes; Schuster, Peter; Seisenberger, Monika (eds.), Logic, construction, computation. Heusenstamm: . Research article (book contribution) | |
Pohlers. Wolfram (2009) Berlin Heidelberg: . Book (monograph) | |
Pohlers, Wolfram (2008) In: Annals of Pure and Applied Logic, 156. Research article (journal) | |
Chatzidakis, Zoe; Koepke, Peter; Pohlers, Wolfram (eds.) (2006) . Book (edited collection) |