![Logic in computer science / Formal methods / Theoretical computer science / Algorithms / Hindley–Milner / Type theory / HOL / ALGOL 68 / Natural deduction / Logic / Mathematics / Programming language theory Logic in computer science / Formal methods / Theoretical computer science / Algorithms / Hindley–Milner / Type theory / HOL / ALGOL 68 / Natural deduction / Logic / Mathematics / Programming language theory](https://www.pdfsearch.io/img/d7ff88474c003e9b9e86ed653b8bf3b6.jpg)
| Document Date: 2006-02-14 05:58:39 Open Document File Size: 197,24 KBShare Result on Facebook
Company SRI International / Lemma 1 Ltd. / R.D. Arthan Lemma 1 Ltd. / / / Holiday Assumption / / IndustryTerm natural deduction systems / deductive systems / / Organization ETA / / Position MP / / ProgrammingLanguage BETA / / URL http /
SocialTag |