Tarski's influence on computer science [pdf] · HackerLangs