Logician Solomon Feferman, who did his PhD under Alfred Tarski, has just written a short article on Tarski’s influence on computer science. It seems that this influence was wider than just that between cylindrical algebras and relational database theory.
Ars Mathematica
Dedicated to the mathematical arts.
