Arithmetical extensions of relational systems (1956)

by ALFRED TARSKI, ROBERT VAUGHT
Venue:Composito Mathematica