ein polnisch-US-amerikanischer Mathematiker und Logiker.