1. A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
2. Lattice Theory. Third edition. Amer. Math. Soc., Providence, R.I., 1967.
3. On the predecessor relation in abstract algebras
4. Naive Mengen und abstrakte Zahlen I-III. Bibliographisches Institut, Mannheim-Wien-Zürich 1978/1979.
5. Universal Algebra. Second edition. Springer-Verlag, Berlin-Heidelberg-New York 1979.