Prof. H. Hamner Hill’s symbolic logic course pages
(A good place to start is with his Overview and Review of Basic Logic):


·         Symbolic Logic I (PL 120)

·         Advanced Symbolic Logic (PL 330)

Some Smullyan links

Other links to materials for Philosophy 311, Introduction to Formal Logic will be posted here as the course progresses.)


Professor Lila Kari has a lovely explanation of how to convert schemata into prenex normal form at


And for more helpful notes and explanations, here's a link to her recent "Logic and Computation" course at the University of Waterloo:


Michael Kagan kagan@lemoyne.edu