Denis Miéville

Swiss logician / mathematician