First-Order Logic (FOL) aka. predicate calculus Tuomas Sandholm Carnegie Mellon University Computer Science Department.
First-Order Logic (FOL) aka. predicate calculus