The concept of truth in formalized languages (1931)

by A Tarski