Person:
Show:
Show 1 to 10 of 37 results
Show 1 to 10 of 37 results
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) | |
In: (eds.), . | |
In: . | |