Logic, semantics metamathematics - Tarski Alfred (1956)
Keywords: Mathematical logic; Mathematics