TY - BOOK TI - Ways of Proof Theory SN - 9783110324907 PB - De Gruyter KW - Philosophy UR - https://www.degruyter.com/isbn/9783110324907 ER -