First Page | Document Content | |
---|---|---|
![]() Date: 2011-04-15 18:12:26Mathematical logic Logic Theoretical computer science Automated theorem proving Proof theory Logic programming Logic in computer science Type theory Unification Uninterpreted function Equational logic Variety | Add to Reading List |