Title: Reasoning in simple type theory
Subjects: Symbolic and mathematical Logic, Type theory