Source: /wikibot/intuitionistic-logic

= Intuitionistic logic
{wiki=Intuitionistic_logic}