Fiche d'une revue

Journ. of Logic and Computation172501