PanLinx
italiano
ita-000
logica a due valori
čeština
ces-000
dvouhodnotová logika
PanLex
