Official course description:
Intuitive and formal development of the sentential and predicate
calculus. Special emphasis given to questions of consistency,
completeness, and independence. Formal systems; incompleteness and
undecidability; theorems of Godel. Exploration of which properties of
structures can be defined in the firstorder language.
