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.