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 | Add to Reading List |