×
  • Fibrational formulation of intuitionistic predicate logic 1

    Makkai M.

0 - 1Hours to read