First Page | Document Content | |
---|---|---|
Date: 2007-08-09 21:04:38Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula | Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, GermanyAdd to Reading ListSource URL: www.dr-dau.netDownload Document from Source WebsiteFile Size: 211,09 KBShare Document on Facebook |