رده‌ها نبیگ

آزندی بر افماریک گزاره‌ای درون‌یافت‌گروی

(1933)
همچنین شناخته شده با: تعبیری از حساب گزاره‌ای شهودی
برابر انگلیک (انگلیسی): An Interpretation of the Intuitionistic Propositional Calculus

دست‌اندرکاران:

گسترش‌ها
Kurt Gödel
کورت گودل
(1906 – 1978)


تاربرگ‌های پیموده‌شده در این نشست: گویایی E PL.FL.03 گویایی انگارشی بنداشت K Semantical Considerations on Modal Logic آوین-نگریک