Cahiers du Centre de logique — Centre de logique. Louvain-la-Neuve, Belgique