Extensions of First Order Logic (source code)

= Extensions of First Order Logic
{wiki=Extensions_of_First_Order_Logic}