Articles


Vers la logique de Boole

Jacques Dufresne
L'ordinateur est le résultat de sept siècles de logique formelle