Logic and categories as tools for building theories
scientific article; zbMATH DE number 6213466