@inproceedings{1509238,
    Author = {Feferman, S.},
    BookTitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)},
    File = {TARSKI’S INFLUENCE ON COMPUTER SCIENCE - 0608062.pdf},
    Pages = {342-},
    Title = {Tarski's influence on computer science},
    Year = {2005},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2005.50},
    date-added = {2021-10-24 10:58:23 +0200},
    date-modified = {2021-10-24 10:58:23 +0200},
    doi = {10.1109/LICS.2005.50}
}

@inproceedings{1509238, Author = {Feferman, S.}, BookTitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)}, File = {TARSKI’S INFLUENCE ON COMPUTER SCIENCE - 0608062.pdf}, Pages = {342-}, Title = {Tarski's influence on computer science}, Year = {2005}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2005.50}, date-added = {2021-10-24 10:58:23 +0200}, date-modified = {2021-10-24 10:58:23 +0200}, doi = {10.1109/LICS.2005.50} }