# Mathematical logic

Math 461, Rutgers University, Spring 2008 (site)

*Catalog 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 GĂ¶del. Exploration of which properties of structures can be defined in the first-order language.