سوگردش برابر انگلیک (انگلیسی): Löb's theorem تاربرگهای پیمودهشده در این نشست: پارادخش بورالی-فورتی ⟩ بستار هرگانی ⟩ دربارهی نماردن ⟩ گویاییدانان روزگار نو ⟩ کلارنس ایروینگ لوییس ⟩ Zur Logik der Modalitäten