Representing logics in type theory الإنجليزية (Q5292590)
doctoral thesis الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Representing logics in type theory |
doctoral thesis |
بيانات
Wikidata item الإنجليزية