module #22 Predicate Logic Enyanjula ku predicate logic, predicates, ne quantifiers
module #23 Model Theory Enyanjula mu model theory, ensengeka, n'okutaputa
module #24 Enkozesa ya Discrete Mathematics Enkozesa y’ensi entuufu ey’okubala okutali kwa njawulo mu sayansi wa kompyuta, cryptography, n’okwekenneenya data