# Logic

This page contains resources about Logic in general and Automated Reasoning.

More specific information is included in each subfield.

## Contents

## Subfields and Concepts[edit]

- First-Order Logic / Predicate Logic / Quantification Theory
- Sequential Logic / Propositional Logic / Propositional Calculus
- Modal Logic
- Boolean Algebra / Boolean Logic / Digital Logic
- Argumentation (in Artificial Intelligence)
- Multi-Agent Systems / Self-Organized Systems
- Probabilistic Reasoning
- Inductive Vs Deductive Reasoning

## Online Courses[edit]

### Video Lectures[edit]

### Lecture Notes[edit]

## Books[edit]

*See References for more books.*

- Augusto, L. M. (2017).
*Logical consequences. Theory and applications: An introduction*. London: College Publications. - Ben-Ari, M. (2003).
*Mathematical Logic for Computer Science*(2nd ed.). Springer-Verlag. - Huth, M., Ryan, M. (2004).
*Logic in Computer Science: Modelling and Reasoning about Systems*(2nd ed.). Cambridge University Press. - Burris, S. N. (1997).
*Logic for Mathematics and Computer Science*. Prentice Hall.

## Software[edit]

- Prolog