Tarski’s papers are reprinted and collected in Tarski (1986b). The volume Tarski (1983a) contains widely used English translations of his main papers of the 1920s and 1930s. Givant (1986) gives a complete bibliography of Tarski’s publications until 1986. Feferman and Feferman (2004) is a biography of Tarski that also contains a very valuable introduction to his logical and mathematical work, including descriptions of all the results and developments mentioned in the initial paragraph of this entry. On Tarski’s logical work see also Simmons (2009) and Eastaugh (2017). McFarland, McFarland and Smith (2014) contains a wealth of biographical and historical information about Tarski, as well as updates to Givant’s bibliography and translations into English of a number of previously untranslated early texts by Tarski.