No photo of Jacques Mersch

Jacques Mersch

If you made any changes in Pure these will be visible here soon.

Thesis

L'incomplétude de l'arithmétique de Peano sans exponentielle

Author: TAILDEMAN, A., Jun 1995

Supervisor: Mersch, J. (Supervisor)

Student thesis: Master typesMaster in Mathematics

L'indécidabilité du calcul des prédicats du premier ordre

Author: FABRY, O., Jun 1992

Supervisor: Mersch, J. (Supervisor)

Student thesis: Master typesMaster in Mathematics

Théorie des types logiques et analyse non-standard

Author: VANDERPUTTEN, L., Jun 1995

Supervisor: Mersch, J. (Supervisor)

Student thesis: Master typesMaster in Mathematics