Wesley H. Holliday

• Heyting Algebras