asymmetric


تاربرگ‌های پیموده‌شده در این نشست: Aristotle’s Logic ⟩ Axiom of Foundation ⟩ Axiom schema of separation ⟩ Ptolemy ⟩ A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology