Source: wikibot/extensions-of-first-order-logic

= Extensions of First Order Logic
{wiki=Extensions_of_First_Order_Logic}