Sur les systèmes déductifs dans la logique Θ -valente Vlad Boicescu — 1971 Publications du Département de mathématiques (Lyon)