 Andrzej Ehrenfeucht

Andrzej Ehrenfeucht (, born August 8, 1932) is a Polish American mathematician and computer scientist.He formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his PhD thesis.