IL.K.01
دیسه‌ای
𝜙 → (𝜓 → 𝜙)
𝜙 → (𝜓 → 𝜙)


تاربرگ‌های پیموده‌شده در این نشست: Orlov's 1928 paper ⟩ Lucene ⟩ Posterior Analytics ⟩ Jan Łukasiewicz