biconditional


تاربرگ‌های پیموده‌شده در این نشست: ∨ Elimination ⟩ converse of Barcan formula ⟩ Alan Turing ⟩ Modern Logicians