The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room ...
