Title: Apopseis tēs typikēs logikēs
Subjects: Type theory