Undecidability and essential undecidability in arithmetic (1953)

by A Tarski, A Mostowski, R M Robinson
Venue:In (Tarski et al. 1953b