Monadic second-order

Redirect to:

• Monadic second-order logic