categorical logic الإنجليزية (Q5840655)
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | categorical logic |
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. |
بيانات
Wikidata item الإنجليزية