scientific article
From MaRDI portal
Publication:3864043
zbMath0427.18002MaRDI QIDQ3864043
Giancarlo Meloni, Donatella Cagnoni
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Algebraic logic (03G99) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
This page was built for publication: