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, melittophily, Lablancs, tenpercentery, objectivists, goods wagons