زمان:

چیکی

[cs]

گەڕانەوە بۆ چیکی

هاوپۆل: Logic

ڕاستاندنی Logic گۆکردنەکان

  • axiom گۆکردنی
    axiom
  • lemma گۆکردنی
    lemma