دانلود کتاب Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
by Makkai M.
|
عنوان فارسی: فرمول Fibrational منطق محمولی شهودی من: کامل با توجه به گودل، کریپکی و Lauchli |