Système de logique déductive et inductive - Les Classiques des ...
3 mai 2002 ... Un document produit en version numérique par Jean-Marie Tremblay, ... La
longue et pénible vérification de ce livre a été réalisée au cours de ...
Un extrait du document