Editing Alfred Tarski (section)

==Further reading==
;Biographical references
* {{cite book
 | last = Feferman
 | first = Anita Burdman | author-link = Anita Burdman Feferman
 | title = American National Biography
 | chapter = Alfred Tarski
 | year = 1999
 | publisher = Oxford University Press
 | volume = 21
 | isbn =978-0-19-512800-0
 | pages = 330–332
 | ref = FefA
| title-link = American National Biography
 }}
* {{cite book
|last1=Feferman
|first1=Anita Burdman | author1-link = Anita Burdman Feferman
|first2=Solomon
|last2=Feferman
|author-link2=Solomon Feferman
|title=Alfred Tarski: Life and Logic
|url=https://archive.org/details/alfredtarskilife0000fefe
|url-access=registration
|year=2004
|publisher=[[Cambridge University Press]]
|isbn=978-0-521-80240-6
|oclc=54691904
|ref=F-F
}}
* {{Cite book|title=Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science|last=Frost-Arnold|first=Greg|publisher=Open Court|year=2013|isbn=9780812698374|location=Chicago}}
* {{cite journal | author = Givant Steven | year = 1991 | title = A portrait of Alfred Tarski | journal = Mathematical Intelligencer | volume = 13 | issue = 3| pages = 16–32 | doi=10.1007/bf03023831| s2cid = 122867668 }}
* Patterson, Douglas. ''Alfred Tarski: Philosophy of Language and Logic''  (Palgrave Macmillan; 2012) 262 pages; biography focused on his work from the late-1920s to the mid-1930s, with particular attention to influences from his teachers Stanislaw Lesniewski and Tadeusz Kotarbinski.

;Logic literature
* The December 1986 issue of the ''Journal of Symbolic Logic'' surveys Tarski's work on [[model theory]] ([[Robert Vaught]]), [[abstract algebra|algebra]] (Jonsson), [[decidability (logic)|undecidable theories]] (McNulty), [[algebraic logic]] (Donald Monk), and [[geometry]] (Szczerba). The March 1988 issue of the same journal surveys his work on [[axiomatic set theory]] (Azriel Levy), [[real closed fields]] (Lou Van Den Dries), [[decidability (logic)|decidable theory]] (Doner and [[Wilfrid Hodges]]), [[metamathematics]] (Blok and Pigozzi), [[truth]] and [[logical consequence]] ([[John Etchemendy]]), and general [[philosophy]] (Patrick Suppes).
** Blok, W. J.; Pigozzi, Don, [https://www.jstor.org/stable/2274426  "Alfred Tarski's Work on General Metamathematics"], ''The Journal of Symbolic Logic'', Vol. 53, No. 1 (Mar., 1988), pp.&nbsp;36–50
* [[Chen Chung Chang|Chang, C.C.]], and [[Howard Jerome Keisler|Keisler, H.J.]], 1973. ''Model Theory''. North-Holland, Amsterdam.  American Elsevier, New York.
* [[John Corcoran (logician)|Corcoran, John]], and Sagüillo, José Miguel, 2011. "The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper", ''History and Philosophy of Logic 32'': 359–80. [http://www.tandfonline.com/doi/abs/10.1080/01445340.2011.577145#.UksmOD_-kQs]
* Corcoran, John, and Weber, Leonardo, 2015. "Tarski's convention T: condition beta", South American Journal of Logic. 1, 3–32.
* [[John Etchemendy|Etchemendy, John]], 1999. ''The Concept of Logical Consequence''. Stanford CA: CSLI Publications. {{isbn|1-57586-194-1}}
* {{cite journal | author = Feferman Solomon | author-link = Solomon Feferman | year = 1999 | title = Logic, Logics, and Logicism | url = http://math.stanford.edu/~feferman/papers/logiclogicism.pdf | journal = Notre Dame Journal of Formal Logic | volume = 40 | pages = 31–54 | doi=10.1305/ndjfl/1039096304| doi-access = free }}
* [[Gerla, G.]] (2000) ''Fuzzy Logic: Mathematical Tools for Approximate Reasoning''. [[Kluwer Academic Publishers]].
* [[Ivor Grattan-Guinness|Grattan-Guinness, Ivor]], 2000. ''The Search for Mathematical Roots 1870-1940''. Princeton Uni. Press.
* [[Richard Kirkham|Kirkham, Richard]], 1992. ''Theories of Truth''. MIT Press.
* [[Roger Maddux|Maddux, Roger D.]], 2006. ''Relation Algebras'', vol. 150 in "Studies in Logic and the Foundations of Mathematics", Elsevier Science.
* {{cite journal | author = Mautner F. I. | author-link = Friederich Ignaz Mautner | year = 1946 | title = An Extension of Klein's Erlanger Program: Logic as Invariant-Theory | journal = American Journal of Mathematics | volume = 68 | issue = 3| pages = 345–84 | doi=10.2307/2371821| jstor = 2371821 }}
* {{cite journal | author = McGee Van | year = 1996 | title = Logical Operations | journal = Journal of Philosophical Logic | volume = 25 | issue = 6| pages = 567–80 | doi=10.1007/bf00265253| s2cid = 32381037 }}
* [[Karl Popper|Popper, Karl R.]], 1972, Rev. Ed. 1979, "Philosophical Comments on Tarski's Theory of Truth", with Addendum, ''Objective Knowledge'', Oxford:  319–340.
* {{cite journal | author = Sinaceur H | year = 2001 | title = Alfred Tarski: Semantic shift, heuristic shift in metamathematics | url = https://halshs.archives-ouvertes.fr/halshs-01119489| journal = Synthese | volume = 126 | pages = 49–65 | doi=10.1023/a:1005268531418| s2cid = 28783841 }}
* Smith, James T., 2010. "Definitions and Nondefinability in Geometry", [[American Mathematical Monthly]] 117:475–89.
* [[Jan Woleński|Wolenski, Jan]], 1989. ''Logic and Philosophy in the Lvov–Warsaw School''. Reidel/Kluwer.