منطق، مبانی ریاضیات و نظریه محاسباتی: بخش اول از مجموعه مقالات پنجمین کنگره بین المللی منطق، روش شناسی و فلسفه علم، لندن، انتاریو، کانادا-1975 [کتاب انگلیسی]
(نسخه PDF)
Yu. L. Ershov, Robert E. Butts, Jaakko Hintikka
نمایش کلی
دانلود اثر از سایت اصلی