Hacker News new | ask | show | jobs
Tarski's influence on computer science [pdf] (math.stanford.edu)
1 points by remywang 26 days ago