Principle of bivalence


تاربرگ‌های پیموده‌شده در این نشست: Correspondence theory of truth ⟩ proof-theoretic