Or you can approach it from the philosophy side; one of the profs in my grad program was a joint appointment in philosophy (logic) and computer science.