1. On the completion of partial algebras
2. Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras
3. Liberal constructive set theory. In: Constructive Mathematics (F. Richman, ed.), Springer Lecture Notes in Mathematics 873 (1981), pp. 213–240.
4. Einführung in die operative Logik und Mathematik. Berlin—Göttingen—Heidelberg 1955.
5. Differential und Integral. Frankfurt am Main 1965.