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

Michael Kagan