TY  - JOUR
AU  - Bonotto, C.
AU  - Bressan, A.
TI  - On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1984
SP  - 1
EP  - 13
VL  - 71
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1984__71__1_0/
LA  - en
ID  - RSMUP_1984__71__1_0
ER  -