The syntax and semantics of sentential and quantificational logic, culminating in the Godel Completeness Theorem. The Godel Incompleteness Theorem and its ramifications for computability and philosophy.