Heinrich Behmann
He performed research in the field of set theory and predicate logic.Behmann studied mathematics in Tübingen, Leipzig and Göttingen.During World War I, he was wounded and received the Iron Cross 2nd Class.David Hilbert supervised the preparation of his doctoral thesis, Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead.In 1922 Behmann proved that the monadic predicate calculus is decidable.