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