Undecidable theories - Tarski, Alfred (: North-Holland, 1953)