Editing Tarski's undefinability theorem (section)

===Primary sources===
* {{cite book |author-link=Alfred Tarski |first=A. |last=Tarski |year=1933 |title=Pojęcie Prawdy w Językach Nauk Dedukcyjnych |publisher=Nakładem Towarzystwa Naukowego Warszawskiego |lang=pl}}
* {{cite journal |first=A. |last=Tarski |title=Der Wahrheitsbegriff in den formalisierten Sprachen| journal=Studia Philosophica| year=1936| volume=1| pages=261–405| url=http://www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf| accessdate=26 June 2013| url-status=dead| archiveurl=https://web.archive.org/web/20140109135345/http://www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf| archivedate=9 January 2014 |lang=de}}
** {{cite book |first=A. |last=Tarski |translator=J. H. Woodger |year=1983 |chapter=The Concept of Truth in Formalized Languages |chapter-url=http://www.thatmarcusfamily.org/philosophy/Course_Websites/Readings/Tarski%20-%20The%20Concept%20of%20Truth%20in%20Formalized%20Languages.pdf  |editor-first=J. |editor-last=Corcoran |title=Logic, Semantics, Metamathematics |publisher=Hackett}} English translation of Tarski's 1936 article.