On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs

2017/05/19 by Dirk Schlimm · 1 citation

paper · doi:10.1080/01445340.2017.1317429

crossref issued 2017/05/19 · crossref published 2017/05/19 · crossref published-online 2017/05/19 · crossref created 2017/05/19 · crossref published-print 2018/01/02 · crossref deposited 2024/06/24 · crossref indexed 2026/08/04

Cited by

• On the Graphical Representation of Proofs as Trees