Back to Results
First PageMeta Content
Logic / 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, Germany
Add to Reading List

Document Date: 2007-08-09 21:04:38


Open Document

File Size: 211,09 KB

Share Result on Facebook