Travaux du Centre national de recherches de logique — Centre national de recherches de logique. Belgique