1. Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. North-Holland Publ. Comp., Amsterdam 1957.
2. and , Grundzüge der theoretischen Logik. Springer-Verlag, Berlin 1928.
3. An Algebraic Approach to Non-Classical Logics. North-Holland Publ. Comp., Amsterdam 1974.
4. and , Mathematics of Metamathematics. PWN, Warsaw 1963.