×

zbMATH — the first resource for mathematics

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).

MSC:
68Q65 Abstract data types; algebraic specification
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68N01 General topics in the theory of software
Software:
LCF
PDF BibTeX XML Cite