First Page | Document Content | |
---|---|---|
![]() Date: 2018-08-15 07:19:42Mathematics Logic Mathematical logic Recursion Theoretical computer science Mathematical proofs Type theory Mathematical induction Structural induction Recursive definition Automated theorem proving Natural deduction | Add to Reading List |