A general method in proofs of undecidability (1953)

by A Tarski
Venue:In (Tarski et al. 1953b