TY  - JOUR
AU  - Bonotto, C.
AU  - Bressan, A.
TI  - On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1983
SP  - 63
EP  - 76
VL  - 69
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1983__69__63_0/
LA  - en
ID  - RSMUP_1983__69__63_0
ER  -