Source: /wikibot/linear-logic

= Linear logic
{wiki=Linear_logic}