Prof. H. Hamner Hill’s symbolic logic course pages
(A good place to start is with his Overview and Review of Basic Logic):
· 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 kagan@lemoyne.edu