Logic, semantics and metamathematics

Tarski, Alfred