TY  - RPRT
TI  - On Tarski's axiomatic foundations of the calculus of relations
AU  - H. Andréka
AU  - S. Givant
AU  - P. Jipsen
AU  - I. Németi
PY  - 2016
DO  - 10.1017/jsl.2016.32
UR  - https://arxiv.org/abs/1604.04655
ID  - 1604.04655
ER  -