![First-order logic / Model theory / Predicate logic / Axiom / Zermelo set theory / Function / Well-formed formula / Logic / Mathematics / Mathematical logic First-order logic / Model theory / Predicate logic / Axiom / Zermelo set theory / Function / Well-formed formula / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/1f572256e4e158f9fce4c8c659c54fd0.jpg)
| Document Date: 2008-07-11 10:33:45 Open Document File Size: 182,38 KBShare Result on Facebook
Company ICL Secure Systems / / Facility Cambridge University / / IndustryTerm proof support tool / machinery / abstract proof tool / machine processing / proof tool / main enabling technology / technology base / software engineering tool / / Organization Cambridge University / / Position mp / dom mp / / Technology main enabling technology / dom / /
SocialTag |