Title: Theorem proving in higher order logics
Subjects: Congresses, Automatic theorem proving