Title: Theorem proving in higher order logics
Subjects: Congresses, Automatic theorem proving, Symbolic and mathematical Logic