Jacob T. T. Schwartz

• Computational Logic and Set Theory