Logic for Computable Functions language (LCF) Part of the Edinburgh proof assistant. [What is it? Address?] (1995-01-06)