Formal Methods 

(aka Mathematical Logic for Computer Science)