Andrzej Ehrenfeucht
From Wikipedia, the free encyclopedia
Andrzej Ehrenfeucht is a Polish-American mathematician. He formulated the Ehrenfeucht-Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his thesis.
Ehrenfeucht married Alfred Tarski's daughter.