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

    Makkai M.

Click on cover to enlarge.
Buy This Book
From Amazon.
1 - 2Hours to read