First Page | Document Content | |
---|---|---|
Date: 2011-10-04 07:32:04Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent | A/z-CALCULUS: INTERPRETATION NATURAL ANAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source WebsiteFile Size: 621,66 KBShare Document on Facebook |