Pre-thesis study book getting read

I read some of this book on my trip to Toronto on the bus. The book is

Brachman, Ronald and Hector Levesque. Knowledge Representation and Reasoning (San Francisco, Calf.: Morgan Kaufmann, 2004).

I have now this morning started to read chapter 2 on First Order Logic. I first studied logic under the influence of Sam Ajzenstat in Hamilton. I read the beginnings of a book on predicate logic in the spring of 1981 or may be it was the fall of 1980. I formally took a course in symbolic logic in the summer of 1996 and this was my first course in university after being away from school for ten years. I basically failed this symbolic logic course. It was the first university course I took with TV lectures. In other words it was distance learning.