Permutation
دیسه‌ای
(𝜙 → (𝜓 → 𝜃)) → (𝜓 → (𝜙 → 𝜃))
(𝜙 → (𝜓 → 𝜃)) → (𝜓 → (𝜙 → 𝜃))


تاربرگ‌های پیموده‌شده در این نشست: Abelian Group ⟩ The Completeness of the First-Order Functional Calculus