Arithmetical extensions of relational systems (1956)

by A Tarski, R L Vaught
Venue:Compositio Mathematica