Undecidable theories - Tarski, Alfred 1901-1983 (North-Holland Publ.Co., 1971)