Makkai M.
Showing all 3 results
Filter- Mathematics , Logic
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Free Download - Mathematics , Logic
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Free Download