First Page | Document Content | |
---|---|---|
Date: 2007-08-30 12:02:55Metalogic Predicate logic Deduction First-order logic Quantification Entailment Propositional calculus Soundness Interpretation Logic Mathematical logic Model theory | Add to Reading ListSource URL: ssdi.di.fct.unl.ptDownload Document from Source WebsiteFile Size: 3,72 MBShare Document on Facebook |