scientific article
From MaRDI portal
Publication:3960995
zbMath0496.18002MaRDI QIDQ3960995
Publication date: 1982
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1982__23_2_115_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Homological algebra in category theory, derived categories and functors (18G99) Foundations, relations to logic and deductive systems (18A15)
Related Items (3)
This page was built for publication: