M. J. C. Gordon

• Higher Order Logic Theorem Proving and Its Applications
• LCF - LSM