Title: Completeness properties of classical theories of finite type and the normal form theorem
Subjects: Model theory, Proof theory, Symbolic and mathematical Logic