B

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2015/logic-and-proof/3/a/b

New to topics? Read the docs here!