%0 Journal Article
%A Bonotto, C.
%A Bressan, A.
%T On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1983
%P 63-76
%V 69
%I Seminario Matematico of the University of Padua
%U http://www.numdam.org/item/RSMUP_1983__69__63_0/
%G en
%F RSMUP_1983__69__63_0