PHL 311-01, Introduction to Formal Logic, Syllabus for Spring 2024 MWF Section
Other links to materials for Philosophy
311, Introduction to Formal Logic will be posted here as the course
progresses.)
=======================
Link to Quine's Methods of Logic at archive.org (can be borrowed for one hour).
Quine's Methods of Logic at google books (partial preview)
Some Smullyan links
Professor
Lila Kari has a lovely
explanation of how to convert schemata into prenex
normal form at
Michael Kagan kagan@lemoyne.edu