Undecidable theories. - Tarski, Alfred (North-Holland Publishing Company, 1953)