Löb's theorem

برابر انگلیک (انگلیسی): Löb's theorem


تاربرگ‌های پیموده‌شده در این نشست: کوچکترین کران بالا درباره‌ی نماردن A⥽(B⥽B) نیم‌جاره گویایی‌گروی مک کینزی