Title: Higher order logic theorem proving and its applications
Subjects: Congresses, Symbolic and mathematical Logic, Automatic theorem proving, Logic, symbolic and mathematical