Hakuluettelo:
Käännös:
monadic second-order logic (suomeksi)
- Määritelmät:
- (lb, en, logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.
Viimeisimmät haut: monadic second-order logic, rebuslike, vuokratulo, puskurivyöhyke, neutralised, typicalness