par Libert, Thierry
Référence Journal of applied logic, 3, 1, page (15-41)
Publication Publié, 2005
Article révisé par les pairs
Fichier(s) numérisé(s) par les Bibliothèques de l'ULB