Logic in Computer Science
Michael Huth, Mark Ryan
Logic in Computer Science - A book resource
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Logic in Computer Science
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.
Logic Matters Blog
Articles and resources on logic for TCS
Stanford Logic Group
Resources and lecture notes on logic in CS
Huth & Ryan Book Lectures
Companion videos to Logic in Computer Science book
Logic for Computer Science - Full Course
Comprehensive lectures on propositional and predicate logic
Computational Logic
Learn logic skills to advance your education and career with online courses delivered through edX.