CS544: Logic, Lecture 1 Jerry R. Hobbs USC/ISI Marina del Rey, CA February 22, 2011.
CS544: Logic, Lecture 1