| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/lessthanadditive2.prf |
LTABab BEABC LTBCbc BEabc ANBEbec+EEbeBC defn:lessthan BEbec EEbeBC EEBCbe lemma:congruencesymmetric BEabe axiom:innertransitivity LTACae lemma:lessthanadditive BEaec lemma:3.5b EEaeae cn:congruencereflexive LTaeac defn:lessthan LTACac lemma:lessthantransitive