Logic for Computable Functions

<language> (LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

Nearby terms:
logic bomb « Logic Design Language « logic emulator « Logic for Computable Functions » logic gate » logic programming » Logic Replacement Technology