The Concept of Truth in Formalized Languages (1956)

by Alfred Tarski
Venue:Logic, Semantics, Metamathematics