Undecidable Theories (1953)

by A Tarski, A Mostowski, R Robinson