Faculté des lettres et sciences humaines

Introduction of Implication and Generalization in Axiomatic Calculi

Buchsbaum Arthur ; Béziau, Jean-Yves

In: Travaux de logique, 2004, vol. 17, p. 231-254

Ajouter à la liste personnelle