CSC244/444 Lecture Notes(Fall 2001)



Lecture 3: Semantics of First-order Logic