Tarski's influence on computer science (Logical Methods in Computer Science, 2006)