Back to Results
First PageMeta Content
Type theory / Automated theorem proving / Logic in computer science / Formal methods / Proof assistants / Coq / CurryHoward correspondence / Lambda calculus / Propositional calculus / First-order logic


propositional logic logical verification week
Add to Reading List

Document Date: 2004-12-15 12:39:29

Open Document

File Size: 243,20 KB

Share Result on Facebook