TY  - JOUR
AU  - Tarski, Alfred
AU  - Vaught, Robert L.
TI  - Arithmetical extensions of relational systems
JO  - Compositio Mathematica
PY  - 1956-1958
SP  - 81
EP  - 102
VL  - 13
PB  - Kraus Reprint
UR  - http://www.numdam.org/item/CM_1956-1958__13__81_0/
LA  - en
ID  - CM_1956-1958__13__81_0
ER  -