PanLinx
italiano
ita-000
logica delle proposizioni
čeština
ces-000
logika výroků
PanLex