MATH 30133 - Symbolic Logic I

An introduction to the scope and limits of modern logic. The nature of logical systems and the various areas of logic are discussed. Alternative proof- procedures in propositional logic and predicate logic are presented. (Offered as MATH or PHIL credit.)





Texas Christian University
© Copyright 2007. All Rights Reserved.
Disclaimer