Source: wikibot/dependence-logic

= Dependence logic
{wiki=Dependence_logic}