Математическая логика
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 1) |
|||
|
|||
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 1) |
|||
|
|||