Not really. I'm a math major, what you usually do is have an intro to logic course and then just jump into those books.