Logique formelle: Logique propositionnelle, logique des prédicats, logique modale et logiques non classiques | Myboeken