Réseaux et Séquents Ordonnés. Thèse de Doctorat, spécialité mathématiques (1993)

by Christian Retoré