predicate


تاربرگ‌های پیموده‌شده در این نشست: powerset ⟩ predicate ⟩ proof-theoretic ⟩ powerset ⟩ Principle of bivalence ⟩ Stewart Shapiro