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

  • Olivier FABRY

Student thesis: Master typesMaster in Mathematics

Abstract

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

Cite this

L'indécidabilité du calcul des prédicats du premier ordre
FABRY, O. (Author). Jun 1992

Student thesis: Master typesMaster in Mathematics