Publication:3934673
From MaRDI portal
zbMath0477.18001MaRDI QIDQ3934673
Publication date: 1981
axiomatic category theory; binary function symbol; binary predicate symbol; Bourbaki's scheme; pan-categorism
03B10: Classical first-order logic
18A05: Definitions and generalizations in theory of categories
03E99: Set theory
18A15: Foundations, relations to logic and deductive systems