A Concise Introduction to Logic
Patrick J. Hurley
A Concise Introduction to Logic - A book resource
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
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.