Юғарыраҡ тәртиптәге логика теоремаларын иҫбатлау һәм уларҙың ҡулланыу: 8-се халыҡ-ара фестиваль эше = Higher Order Logic Theorem Proving and Its Applications: Proceedings of the 8th International Workshop — Springer, 1995. — 400 б. Enderton, Herbert.