Méthodes logiques pour les sciences cognitives - Lepage, François 1950-; Dubucs, Jacques 1953- (Langue, Raisonnement, Calcul (Hermès), 1995)