Tarski s influence on computer science

Solomon Feferman. Tarski s influence on computer science. Logical Methods in Computer Science, 2(3), 2006. [doi]

Abstract

Abstract is missing.