Basic Terminology

Resolution

First-Order Logic $ℒ$

Resolution in FoL

Decidability and Turing Machines

Peano Arithmetic

Formal Program Verification