Stanford University: Semantics of First-Order Logic

First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence.