Heinrich Wansing Dag Prawitz on Proofs and Meaning - Springer Springer 2015 ISBN: 9783319110417 Source: EBOOK