monadic second-order logics

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search