 | Up a level |
Jäger, Gerhard (2022). Simplified cut elimination for Kripke-Platek set theory. In: Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni (eds.) Axiomatic Thinking II (pp. 9-34). Springer 10.1007/978-3-030-77799-9_2
Strahm, Thomas Adrian; Sommaruga, Giovanni (eds.) (2015). Turing's Revolution: The Impact of His Ideas about Computability. Birkhäuser Basel 10.1007/978-3-319-22156-4
