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

  • Olivier FABRY

    Student thesis: Master types › Master in Mathematics

    Date of AwardJun 1992
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorJacques Mersch (Supervisor)

    Cite this

    '