CSC244/444 Lecture Notes(Fall 2001)
Lecture 3:
Semantics of First-order Logic