Wilkosz Witold
Sur la notion de l'équivalence des systèmes déductifs