Source: wikibot/independence-friendly-logic

= Independence-friendly logic
{wiki=Independence-friendly_logic}