Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 2)
Tags: intuitionistic completeness fibrational according lauchli kripke predicate formulation  Customers who bought this item also bought:
