bn:00182427n
Noun Concept
EL
εσωτερική γλώσσα  κατηγορηματική λογική
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