دسترسی به این تاربرگ بسته شده است.


تاربرگ‌های پیموده‌شده در این نشست: بنیادهای انگارشیک ⟩ پادنهش ⟩ گویایی‌هایِ پیوند وندی ⟩ Löb's theorem ⟩ جبر بستاری ⟩ گئورگ کانتور