![Model theory / Predicate logic / Semantics / Lambda calculus / Logic in computer science / First-order logic / Skolem normal form / Interpretation / Function / Logic / Mathematical logic / Mathematics Model theory / Predicate logic / Semantics / Lambda calculus / Logic in computer science / First-order logic / Skolem normal form / Interpretation / Function / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/e3fc8049a0215a1fa5bb40d9fcb13cd1.jpg)
| Document Date: 2011-01-28 11:35:50 Open Document File Size: 110,76 KBShare Result on Facebook
City HOL / / IndustryTerm proof search algorithms / theorems and algorithms / / Person Martin Davis / Peter Andrews / Hardin Kirchner / Nicolaas de Bruijn / Leon Henkin / J. Alan Robinson / Claude Kirchner / Dale Miller / / / Technology proof search algorithms / /
SocialTag |