scientific article; zbMATH DE number 2196610
From MaRDI portal
Publication:5311057
zbMath1081.03019MaRDI QIDQ5311057
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Categorical logic, topoi (03G30) Abstract deductive systems (03B22) Foundations, relations to logic and deductive systems (18A15)
Related Items (1)
This page was built for publication:
