ocw.mit.edu
Unknown
MIT OpenCourseWare offers free, openly licensed MIT course materials across disciplines, including logic and predicate logic. You can access lecture notes, assignments, exams, and sometimes video lectures for self-paced study.
More resources on Predicate Logic
Introduction to Logic
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
ProofWeb
Online predicate logic proof checker (free)
Stanford Encyclopedia of Philosophy - Classical Logic
Comprehensive entry on predicate logic
forall x Open Logic Project
Free interactive textbook on formal logic including predicate
Mathematical Logic
Learn predicate logic with this course by Richard Stanley. Explore key mathematical concepts and boost your analytical skills.
plato.stanford.edu
Stanford Encyclopedia of Philosophy (plato.stanford.edu) is a free, open-access, peer‑reviewed reference work for philosophy. It hosts in-depth, expert-authored articles on logic, including predicate logic, offering formal explanations, historical context, and extensive bibliographies.