Description: A survey of the logical foundations of mathematics: development of propositional calculus and quantification theory, the notions of a proof and of a model, the completeness theorem, Gödel's incompleteness theorem.

Syntax and Semantics for Classical and Various Non-classical Propositional Logics

Two Proofs of Completeness Theorem for Classical Propositional Logic

Automated Theorem Proving Systems for Classical, Intuitioinistic Amd Modal S4, S5 Logics

Constructive Completeness Theorem Proofs

First Order Classical Logic: Syntax and Semantics

Proof of Completeness Theorem

Formal Theories Based on First Order Logic: Peano Arithmetic

Discussion of Godel Incompleteness and Inconsistency Results