TY - BOOK TI - Concepts of Proof in Mathematics, Philosophy, and Computer Science SN - 9781501502620 PB - De Gruyter KW - Philosophy UR - https://www.degruyter.com/isbn/9781501502620 ER -