| Course: | PHIL 30A, SS 89 |
| Name: | Introduction to Symbolic Logic I |
| Description: | This is an introduction to the symbolism and methods of the logic
of statements, including evaluation of arguments by truth tables, the
techniques of natural deduction, and semantic tableaux.
TEXTBOOK: Ermanno Bencivenga, Karel Lambert, & Bas C. van Fraassen: |