When I was at UT Austin for a CS degree, PHL 313k (symbolic logic) was a requirement. It was a very difficult class, but very rewarding.