monadic second-order logics

From Wiktionary, the free dictionary
Jump to navigation Jump to search