Logic frames for interactive theorem proving - Lindsay, Peter A. (Univ., 1987)