tautology


تاربرگ‌های پیموده‌شده در این نشست: Tarbiat Modares University ⟩ Ruth Barcan Marcus ⟩ sentence ⟩ semilattice ⟩ Idempotency of entailment ⟩ right-angled