TY  - BOOK
AU  - Ferreira, Fernando
AU  - Kahle, Reinhard
AU  - Sommaruga, Giovanni
TI  - Axiomatic Thinking I / Ed
SN  - 9783030776565
U1  - 511.3 
PY  - 2022///
CY  - Switzerland
PB  - Springer
KW  - Proof theory
ER  -