Source: wikibot/extension-predicate-logic

= Extension (predicate logic)
{wiki=Extension_(predicate_logic)}