Theoretical foundations and analysis; Computers to Assist Logicians; Logic applications for computers – These are what make up Logic in computer science. January 14, 2016 Bill Y "The Legendary Legend" Ledden But do you know where Thirsty Dave is? Share this Post: