Requirements for participation and examination
Desirable prerequisites for participation in the courses:
Basic knowledge in formal logic; knowledge and competences in proving.
Mandatory requirements for the module test application:
This module has no requirements.