Logic for Computable Functions
<language> (LCF) Part of the Edinburgh proof assistant.
[What is it?
Address?]
| < Previous Terms | Terms Containing Logic for Computable Functions | Next Terms > |
| Logical Unit 6.2 Logical Unit Number logic bomb Logic Design Language logic emulator | Isabelle LCF ML | logic gate logic programming Logic Replacement Technology logic variable LOGIN |
