Undecidable Theories - Tarski,Alfred; Mostowski,Andrzej; Robinson,Raphael M. (Amsterdam: North Holland Publishing Company, 1971)