![Logic / Logic programming / Constructible universe / Mathematics / Ordinal numbers / Set theory / Curry–Howard correspondence / Ordinal arithmetic / Mathematical logic / Belief revision / Knowledge representation Logic / Logic programming / Constructible universe / Mathematics / Ordinal numbers / Set theory / Curry–Howard correspondence / Ordinal arithmetic / Mathematical logic / Belief revision / Knowledge representation](https://www.pdfsearch.io/img/914e8a55b255808c5fef0a393b6e5825.jpg)
| Document Date: 2012-08-16 12:35:55 Open Document File Size: 326,03 KBShare Result on Facebook
Country Canada / / / IndustryTerm monotonic systems / / MusicGroup B.C. / / Organization Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby / / Person Alice / Bob / / ProvinceOrState British Columbia / /
SocialTag |