Text
Substructural Logics
keanggotaan titik yang insiden, dan derajat bukan keanggotaan setiap sisi kurang
Tidak tersedia versi lain