Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P. Edinburgh LCF. A mechanized logic of computation. (English) Zbl 0421.68039 Lecture Notes in Computer Science. 78. Berlin-Heidelberg-New York: Springer-Verlag. VIII, 159 p. DM 21.50; $ 12.10 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 110 Documents MSC: 68Q65 Abstract data types; algebraic specification 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68N01 General topics in the theory of software Keywords:logic for computable functions; reference manual for the implemented systems; programming metalanguage; natural deduction; goal-directed proof procedures; deductive calculi; algorithms; programs; programming languages Software:LCF PDF BibTeX XML Cite \textit{M. J. Gordon} et al., Edinburgh LCF. A mechanized logic of computation. Berlin etc.: Springer-Verlag (1979; Zbl 0421.68039) OpenURL