PanLinx
Türkçe
tur-000
önermeler hesabı
English
eng-000
propositional calculus
PanLex
