First Page | Document Content | |
---|---|---|
![]() Date: 2014-05-02 10:34:25Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency | Source URL: cs.uwaterloo.caDownload Document from Source WebsiteFile Size: 616,15 KBShare Document on Facebook |