Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Makkai M.Категории:
Том:
Part 2
Година:
1993
Език:
english
Страници:
28
Файл:
DJVU, 308 KB
IPFS:
,
english, 1993