Liste des citations dans Numdam pour : On the uniqueness problem for quite full logics

Annales de l'I.H.P. Physique théorique, Tome 41 (1984), p. 445-451 / Harvested from Numdam

Navara, Mirko

Annales de l'I.H.P. Physique théorique, Tome 63 (1995), p. 155-176 / Harvested from Numdam