Tarski's influence on computer science - Feferman, S. (20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005)
Keywords: Computer science; Formal languages; Logic functions; Mathematics; USA Councils