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, havercosine, untaintedly, reesterifies, eka-iodine, hepatocystic