During World War II, he was a soldier on the Channel Island of Jersey until 1943 and then on to the Chemical Physics Institute of the Navy in Kiel.

In 1952, he published together with Heinrich Scholz, an encyclopedia, which has significantly promoted the development of mathematical logic in Germany.

[3] In 1953, he took over management of the influential Institute for Mathematical logic and basic research at the University of Münster, from Heinrich Scholz.

[2] He was also an outstanding academic teacher who knew how to convey difficult issues and complicated proofs and make them extremely understandable.

In 1962, he was one of the founding members of the German Association for mathematical logic and for basic research of the exact sciences (DVMLG).