bn:00182427n
Noun Concept
ES
lógica categórica  lenguaje interno
EN
Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. Wikipedia
Relations
Sources