The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II.
Open Access
- 1 September 1993
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 34 (4)
- https://doi.org/10.1305/ndjfl/1093633902
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: