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

✍ Scribed by Makkai M.

• Book ID: 127399394
• Year: 1993
• Tongue: English
• Weight: 581 KB
• Category: Library