First Page | Document Content | |
---|---|---|
![]() Date: 2012-01-04 11:40:01Type theory Data types Predicate logic Models of computation Symbol Variable Local consistency Lambda calculus Free variables and bound variables Mathematics Mathematical logic Logic | Add to Reading List |