Source: wikibot/intuitionistic-logic

= Intuitionistic logic
{wiki=Intuitionistic_logic}