Source: wikibot/two-variable-logic

= Two-variable logic
{wiki=Two-variable_logic}