|entries|intuitionistic-logic-development|