بنیادهای انگارشیک

همچنین شناخته شده با: بنیان‌های ریاضیاتی
برابر انگلیک (انگلیسی): Mathematical foundations


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