Intervention de W. Carnielli

A ne pas oublier !

Walter Carnielli
Proving propositional and modal logics by handling polynominals:
Revamping the heritage of George Boole

Mercredi 4 février - 10h-12h
Maison de la Recherche - salle 019