1. Diss. Päd. Hochschule Potsdam, 1964. Referenten: Prof. Dr. K. Härtig (Berlin) und Prof. Dr. K. Schröter (Berlin). Die vorliegende Veröffentlichung ist eine stark gekürzte Fassung.
2. Explizite Definitionen einiger Eigenschaften von Zeichenreihen
3. Definition of substitution
4. Präzise Definitionen – auch nicht-elementare – finden sich bei a. a. O., § 1.
5. Neue Grundlagen der Logik und Mathematik