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: | Red 5: | ||
[[en:Category:Type theory]] |
[[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:类型论]] |
Verzija na dan 6 mart 2009 u 21:24
Stranice u kategoriji "Teorija vrste"
Ova kategorija sadrži samo sljedeću stranicu.