Members of the group often collaborate in official research and teaching projects at both national and international levels.
Cover image: G. Frege, Begriffsschrift (1879). Example of a derivation in concept-script notation, showing substitution rules and the graphical representation of logical consequence.