A curated collection of Alfred Tarski’s groundbreaking papers on logic, semantics, and metamathematics from 1923 to 1938, illustrating early formal truth theory, model‑theoretic ideas, and proof techniques.