1. Bochvar, D. A.: On a three-valued logical calculus and its application to the analysis of contradictions (russ.) Mat. Sbornik 4 (1939), pp. 287–308.
2. Ebbinghaus, H.-D.: über eine Prädikateniogik mit partiell definierten Prädikaten und Funktionen und eine Anwendung auf die Gleichungstheorie. Dissertation, Münster 1967.
3. Hermes, H.: Einführung in die mathematische Logik. Stuttgart 1963.
4. Hermes, H.: Logische Gesichtspunkte bei der Theorie der Gleichungen. Vortragsausarbeitung, Münster 1965.
5. Kleene, S. C.: Introduction to Metamathematics. Amsterdam 1952.