Monadic second-order logic (source code)

= Monadic second-order logic
{wiki=Monadic_second-order_logic}