Logic_in_computer_science