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