propositional logic logical verification week

First Page		Document Content
Date: 2004-12-15 12:39:29 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 Source URL: www.cs.ru.nl Download Document from Source Website File Size: 243,20 KB Share Document on Facebook