Logic, Semantics, Metamathematics: Papers from 1923 to 1938
Discover Alfred Tarski’s pioneering essays on logic, semantics, and metamathematics from 1923‑1938, offering a concise window into early formal truth theory and foundational proof techniques.