دسترسی به این تاربرگ بسته شده است.
دیسه‌ای
𝐴≡¬¬𝐴
A≡¬¬A


تاربرگ‌های پیموده‌شده در این نشست: گرهارد گنتزن ⟩ گویایی‌های گسترش‌یافته ⟩ نگره‌پردازان نگره‌ی نمونه ⟩ بنداشت T ⟩ شناخت‌شناسی ⟩ Modal Axiom B