Undecidable theories (1953)

by A Tarski, A Mostowski, R M Robinson