Loading article…
Monadic first-order logic | japedia.wiki