First Page | Document Content | |
---|---|---|
Date: 2012-04-10 18:03:58Model theory Predicate logic Semantics First-order logic Interpretation Function Jon Barwise Quantification Propositional calculus Logic Mathematical logic Mathematics | General Information for CS 130 Course number & title:Add to Reading ListSource URL: www.haverford.eduDownload Document from Source WebsiteFile Size: 194,16 KBShare Document on Facebook |