Austrian-U.S. mathematician and logician.

• 奥地利出生的美国数学家、逻辑学家。