Razlika između verzija stranice "Kategorija:Teorija vrste"
Uklonjeni sadržaj Dodani sadržaj
m robot Dodaje: es:Categoría:Teoría de tipos |
m r2.7.1) (robot dodaje: el:Κατηγορία:Θεωρία τύπων |
||
Red 4:
[[Kategorija:Matematičke strukture]]
[[el:Κατηγορία:Θεωρία τύπων]]
[[en:Category:Type theory]]
[[eo:Kategorio:Teorio de tipoj]]
| |||