Caudin, C. Litery I Figury Jako język Formalny Logiki. FPhil 1990, 19-32.