Logic, semantics, metamathematics - Tarski, Alfred (1956)