DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2009-02-24 - Livre/Chapitre ou partie - Anglais - 15 page(s) (A publier)

Point Françoise , "On the expansion (N,+,2^x) of Presburger arithmetic." in "Boolean relation theory an incompleteness by harvey Friedman in Lecture Notes in Logic"

  • Edition : Association of symbolic logic
  • Codes CREF : Logique mathématique (DI1170)