Source: wikibot/second-order-logic

= Second-order logic
{wiki=Second-order_logic}