Peter Päppinghaus

• Completeness properties of classical theories of finite type and the normal form theorem