François G. Dorais

Research in Logic and Foundations of Mathematics