TY  - JOUR
AU  - Boicescu, Vlad
TI  - Sur les systèmes déductifs dans la logique $\Theta $-valente
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1971
SP  - 123
EP  - 133
VL  - 8
IS  - 1
PB  - Université Claude Bernard - Lyon 1
UR  - http://www.numdam.org/item/PDML_1971__8_1_123_0/
LA  - fr
ID  - PDML_1971__8_1_123_0
ER  -