Computer science is a very wide field these days. I am a computer scientist but my education (math-wise) mostly focused on numerical math, not high-level symbolic logic. Sure, I could understand it if I took the time, but it certainly looks like abracadabra to me at first glance :-)