کتاب "مفهوم صدق در زبان‌ های صوری شده" مشتمل بر ترجمه‌‌ی رساله‌ی دوران‌ساز مفهوم صدق در زبان‌های صوری‌شده، یک نامه و چهار مقاله‌ی‌ منطقی- فلسفیِ مشهور و اثرگذار از آلفرد تارسکی منطق‌دان و روش‌شناس بزرگ لهستانی است.