First Page | Document Content | |
---|---|---|
![]() Date: 2016-07-20 16:49:46Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause | Add to Reading List |