PanLinx
čeština
ces-000
intuicionistická logika
English
eng-000
intuicionistic logic
PanLex
