Logic
Logic underlies most areas of computer science. This course introduces many different formal logics, ranging from propositional logic all the way to higher-order logic.
Published on — Last updated
—
Hans-Dieter Hiep
—
Website
🚧
Under construction...