Publication:3934673

zbMath0477.18001MaRDI QIDQ3934673

Haruo Tsukada

Publication date: 1981

zbMATH Keywords

axiomatic category theory; binary function symbol; binary predicate symbol; Bourbaki's scheme; pan-categorism

Mathematics Subject Classification ID

03B10: Classical first-order logic

18A05: Definitions and generalizations in theory of categories

03E99: Set theory

18A15: Foundations, relations to logic and deductive systems