> computer science [ed: in a theory dept!] is mathematics, but much of it is the mathematics that mathematicians are not interested in.

Not to multiply van Emden's examples to excess, but constructive logics (without excluded middle) are also in the category of "classy if your dept. is CS; trashy if your dept. is MA". How about Foundational Type Theories?