MATH 7410 Logic and Mathematical Language
Analysis and investigation of mathematical logic issues. It includes areas such as demonstration theory, logical language theory, computability theory, and logic in computer science. Practice and evaluation of logical programming systems and applications to computer science and artificial intelligence.