First Page | Document Content | |
---|---|---|
![]() Date: 2013-04-09 22:34:32Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic | Add to Reading List |