Source: https://homepages.uc.edu/~martinj/Symbolic_Logic/341 Syllabus