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, 129-165. Cham, Heidelberg: . Research article (book contribution) | Peer reviewed | online first | |
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (eds.), The Legacy of Kurt Schütte, 55-61. Cham, Heidelberg: . Research article (book contribution) | Peer reviewed | online first | |
Pohlers, Wolfram (2017) In: Jäger, Gerhard; Sieg, Wilfried (eds.), Feferman on Foundations, 209-251. . Research article (book contribution) | Peer reviewed | Published | |
Pohlers, Wolfram (2016) In: Probst, Dieter; Schuster, Peter (eds.), Concepts of proof in mathematics, philosophy, and computer science. Berlin: . Research article (book contribution) | Peer reviewed | Published | |
Pohlers, Wolfram (2016) In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (eds.), Advances in proof theory,. Cham: . Research article (book contribution) | Peer reviewed | Published | |
Pohlers, Wolfram (2015) In: Kahle, Reinhard; Rathjen, Michael (eds.), Gentzen's centenary. Cham,: Research article (book contribution) | Peer reviewed | |
In: (eds.), . | Peer reviewed | |
In: , -. | Peer reviewed | |