Logic & Proof
Mathematical logic, proof systems, and their computational content.
Propositional and predicate logic, proof theory, type theory, and the Curry-Howard correspondence.
No notes tagged with this topic yet.
Mathematical logic, proof systems, and their computational content.
Propositional and predicate logic, proof theory, type theory, and the Curry-Howard correspondence.
No notes tagged with this topic yet.