Liste des citations dans Numdam pour : On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications

Rendiconti del Seminario Matematico della Università di Padova, Tome 70 (1983), pp. 13-19.