Intermediate Modern Logic

4-None

Further application and development of the predicate calculus, including the calculi of identity and description. An introduction to the metalogical questions of completeness, consistency, and decidability.