First-order language

From Free net encyclopedia