Computational logic: its origins and applications - Paulson, Lawrence C. (Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2018)
Keywords: Computation; Formal Verification; Formalism; Isabelle; Logic; Logic For Computable Functions; Logic programming; Low cycle fatigue; Perspective; Proof Assistants; Theorem Proving; logic for computable functions; proof assistants; formal verification; theorem proving; Isabelle