Tarski's influence on computer science [pdf](math.stanford.edu)
math.stanford.edu
Tarski's influence on computer science [pdf]
https://math.stanford.edu/~feferman/papers/tarskiandcs.pdf
0 comments
—
https://math.stanford.edu/~feferman/papers/tarskiandcs.pdf
—