Person:
Zeige:
Zeige 1 bis 10 von 37 Ergebnissen
Zeige 1 bis 10 von 37 Ergebnissen
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte, 129-165. Cham, Heidelberg: . Forschungsartikel (Buchbeitrag) | Peer reviewed | online first | |
Wolfram Pohlers (2020) In: Kahle Reinhard, Rathjen Michael (Hrsg.), The Legacy of Kurt Schütte, 55-61. Cham, Heidelberg: . Forschungsartikel (Buchbeitrag) | Peer reviewed | online first | |
Pohlers, Wolfram (2017) In: Jäger, Gerhard; Sieg, Wilfried (Hrsg.), Feferman on Foundations, 209-251. . Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Pohlers, Wolfram (2016) In: Probst, Dieter; Schuster, Peter (Hrsg.), Concepts of proof in mathematics, philosophy, and computer science. Berlin: . Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Pohlers, Wolfram (2016) In: Kahle, Reinhard; Stram, Thomas; Studer, Thomas (Hrsg.), Advances in proof theory,. Cham: . Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Pohlers, Wolfram (2015) In: Kahle, Reinhard; Rathjen, Michael (Hrsg.), Gentzen's centenary. Cham,: | Peer reviewed | |
In: (Hrsg.), . | Peer reviewed | |
In: , -. | Peer reviewed | |