First Order Logic. Validity, provability, completeness, consistency, independence, categoricity, decidability, Gödel's Theorem.
First Order Logic. Validity, provability, completeness, consistency, independence, categoricity, decidability, Gödel's Theorem.
