Introduction to Mathematical Logic

Basic Information

M140 (2+2+0) - 6 ECTS credits

Make students familiar with the basic terms, ideas, and methods of mathematical logic, especially propositional logic and first-order logic as the basis for a deeper understanding of the foundations of mathematics.

You can access the course content at the following link: PDF

Teachers

Basic literature

  1. E. Mendelson, Introduction to Mathematical Logic, CRC Press, Taylor & Francis Group, New York, 2015.
  2. M. Vuković, Matematička logika, Element, Zagreb, 2009.

Additional literature

  1. A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1995.
  2. J. Nolt, D. Rohatyn, A. Varzi, Logic, Schaum’s  Outline series, McGraw Hill, New York, 1998.

Teaching materials

The materials are available on the internal Teams channel of the course, through which all internal communication takes place. Students are required to register on the course’s Teams channel. The channel code for joining the course can be found in the schedule.