Tarski's influence on computer science [pdf]math.stanford.edu1 point·remywang··0 commentsOpen articleSaveView on HN