Liste des citations dans Numdam pour : Logique trivalente de Lukasiewicz

Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 66 (1978), p. 33-83 / Harvested from Numdam

Becchio, Denise

Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 58 (1976), p. 55-73 / Harvested from Numdam