scientific article
From MaRDI portal
Publication:3798834
zbMath0653.18004MaRDI QIDQ3798834
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolationGrothendieck toposespretoposescoherent logiccocomma squaresMakkai-Reyes conceptual completeness theorem
Related Items (5)
Descent and duality ⋮ Conceptual completeness for first-order intuitionistic logic: An application of categorical logic ⋮ Strong conceptual completeness for first-order logic ⋮ Unnamed Item ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement
This page was built for publication:
