"Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli" - читать интересную книгу автора (Makkai M.)