Liste des citations dans Numdam pour : On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy

Rendiconti del Seminario Matematico della Università di Padova, Tome 69 (1983), pp. 63-76.

Rendiconti del Seminario Matematico della Università di Padova, Tome 71 (1984), pp. 1-13.