Alfred Tarski and the &quote;Concept of Truth in Formalized Languages&quote;

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages.  Furthermore, using the defined notion of truth, ...