Redirecting you to http://en.wikipedia.org/wiki/Logic_in_computer_science