Read our cookies policy and privacy statement for more information.
×Corpus Christi, Texas
A course on technical methods and foundational issues in Philosophy, Computer Science, and Mathematics. Topics include the Propositional Calculus, First-Order Predicate Calculus, meta-theoretic results (such as consistency, soundness, completeness, and decidability), and Zermelo-Fraenkel Set Theory
Units: 3.0