First-order Logic


تاربرگ‌های پیموده‌شده در این نشست: subject ⟩ unproven ⟩ universal ⟩ Prefixing ⟩ empty set ⟩ powerset