![](/img/cover-not-exists.png)
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I.
Makkai, M.Volume:
34
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093634727
Date:
June, 1993
File:
PDF, 4.07 MB
english, 1993