Fiche d'une revue

Journal of logic and computation116136