| Course: | SocSci 30/Philos 30 |
| Name: | Introduction to Symbolic Logic |
| Description: | An introduction to the symbolism and methods of both
propositional and quantificational logic, including evaluation
of arguments by the techniques of natural deduction and semantic
tableaux.
|