Walter Carnielli
Proving propositional and modal logics by handling polynominals:
Revamping the heritage of George Boole
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
Maison de la Recherche - salle 019