Mathematical Logic

Shared by James Okafor • logic, mathematics • 2009

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