intuitionistic-logic public under mathematical-logic 12 List Picture As a command Nothing is filed under intuitionistic-logic.