First-order
Not higher-order.
| < Previous Terms | Terms Containing first-order | Next Terms > |
| First Fit first generation computer first generation language first-in first-out first normal form |
BABEL deductive database equational logic first-order logic Isabelle |
first-order logic First Party DMA fish FISH queue FITNR |
