You are here: irt.org | FOLDOC | Logic for Computable Functions
<language> (LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(1995-01-06)
Nearby terms: logic bomb « Logic Design Language « logic emulator « Logic for Computable Functions » logic gate » logic programming » Logic Replacement Technology
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL