Lessons learned from LCF: a survey of natural deduction proofs (1985)

by L C Paulson
Venue:Computer Journal