Abraham Robinson (1918–1974) was a logician and mathematician. Born in Waldenburg (Silesia), he moved to Palestine in 1933, where he studied mathematics at the Hebrew University in Jerusalem and also joined the Haganah. In 1940 he fled to Britain as a wartime refugee and enlisted with the Free French Air Force. He took his PhD in London in 1949 while teaching aerodynamics at the Cranfield College of Aeronautics. He held posts successively in Toronto, Jerusalem, Los Angeles, and finally Yale, where he died of cancer. His eventful life is described by Joseph W. Dauben (1995).

Robinson's PhD thesis on applications of logic in mathematics led to an invitation to speak at the International Congress of Mathematicians in 1950. The talks of Robinson and Alfred Tarski at this congress became founding documents of the new discipline that Tarski named model theory. Throughout his career Robinson was one of the most fertile contributors of programs, techniques...