![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/7d600b06aef5f49ad4fe394f0caf3e8c.jpg)
| Document Date: 2004-04-12 08:34:13 Open Document File Size: 149,71 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 |