Bärtschi, Michael

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: Yes

Yes

Bärtschi, Michael; Jäger, Gerhard Max (2020). Having a look again at some theories of proof-theoretic strengths around Γ₀. In: Kahle, Reinhard; Rathjen, Michael (eds.) The Legacy of Kurt Schütte (pp. 103-128). Cham: Springer 10.1007/978-3-030-49424-7_9

Provide Feedback