right-angled


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