First Page | Document Content | |
---|---|---|
Date: 2005-03-23 11:29:40Propositional calculus Deduction Natural deduction Proof theory Meta Logical biconditional TM Logical connectives Logic Mathematical logic | An LF representation of a variant of HOL Light Kevin Watkins / June 15, 2004Add to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source WebsiteFile Size: 21,63 KBShare Document on Facebook |