First Page | Document Content | |
---|---|---|
![]() Date: 2015-06-10 13:20:12Theoretical computer science Logic in computer science Conditionals Rewriting Propositional calculus Necessity and sufficiency Mathematical proof Implicational propositional calculus Mathematics Logic Mathematical logic | Add to Reading List |