![Computability theory / Lambda calculus / Theoretical computer science / Universal quantification / First-order logic / Hoare logic / Mathematical logic / Logic / Mathematics Computability theory / Lambda calculus / Theoretical computer science / Universal quantification / First-order logic / Hoare logic / Mathematical logic / Logic / Mathematics](https://www.pdfsearch.io/img/27495529f022c6ea35be92f6ef208c63.jpg)
| Document Date: 2014-11-10 04:09:39 Open Document File Size: 89,97 KBShare Result on Facebook
Company Creative Commons / / IndustryTerm definite description operator / automatic search tactic / / Person David Hilbert / Forward Proof / Rules Renaming / Isabelle Safe / / Position mp / Forward / / ProgrammingLanguage Lambda Calculus / C / /
SocialTag |