Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli Part 2

معرفی کتاب «Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli Part 2» نوشتهٔ Makkai M.، منتشرشده توسط نشر PART 2 در سال 1993. این کتاب در فرمت djvu، زبان انگلیسی ارائه شده است.