Axiomatic Thinking I / Ed. - Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni (Switzerland : Springer, 2022)
Keywords: Proof theory