Tarski's influence on computer science [pdf]

1 points | by remywang a day ago