TY  - RPRT
TI  - Tarski's influence on computer science
AU  - Solomon Feferman
PY  - 2006
DO  - 10.2168/lmcs-2(3:6)2006
UR  - https://arxiv.org/abs/cs/0608062
ID  - cs/0608062
ER  -