Hakuluettelo:
Käännös:
second-order logic (suomeksi)
- Määritelmät:
- A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
Viimeisimmät haut: second-order logic, hopfion, hauynites, wappened, hunger is the best sauce, gonia