![Deduction / Functions and mappings / Symbol / Entailment / Substitution / Function / Linear temporal logic / Orbifold / Logic / Mathematics / Propositional calculus Deduction / Functions and mappings / Symbol / Entailment / Substitution / Function / Linear temporal logic / Orbifold / Logic / Mathematics / Propositional calculus](https://www.pdfsearch.io/img/4ee7e80a58db616c36fe8ef5f3a1e65f.jpg)
| Document Date: 2014-03-13 06:52:59 Open Document File Size: 224,31 KBShare Result on Facebook
City Sequent / / Company Let us / NEC / / IndustryTerm elegant tool / / OperatingSystem Sequent / / Organization U.S. Securities and Exchange Commission / / Person Van der Torre / / Position MP / ¬O¬φ MP / / Product M-16 / /
SocialTag |