This course offers basic knowledge in mathematical logic.

The goals of mathematical logic are:

  • To provide a formal language for mathematical statements that is easily translatable into the natural language and that allows compact and convenient notation.
  • To offer clear and unambiguous interpretation of such statements that is at the same time simple and close to the natural mathematical concepts.