Mathematical Logic

Shared by Raj Krishnamurthy • logic, mathematics • 2009

[24.241] First-order logic: syntax, semantics, proof systems, completeness, compactness, and Gödel's incompleteness theorems.