Learn more about fundamental topics in computer science, including logic, programming language theory, and program correctness.