Razlika između verzija stranice "Kategorija:Teorija vrste"
Uklonjeni sadržaj Dodani sadržaj
Nova strana: Kategorija:Logika u računarstvu Kategorija:Vrste podataka Kategorija:Formalni metodi Kategorija:Matematičke strukture en:Category:Type theory |
m robot Dodaje: eo, fr, ja, ko, pt, zh |
||
Red 5:
[[en:Category:Type theory]]
[[eo:Kategorio:Tipa teorio]]
[[fr:Catégorie:Théorie des types]]
[[ja:Category:型理論]]
[[ko:분류:형 이론]]
[[pt:Categoria:Teoria dos tipos]]
[[zh:Category:类型论]]
| |||