Alfred Tarski and the "concept of truth in formalized languages"

Monika Gruber

Springer - Berlin

2016

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.