Verzija na dan 16 maj 2012 u 08:41 uredi Luckas-bot (razgovor \| doprinosi) 75.820 edits m r2.7.1) (Bot dodaje: id:Kategori:Teori tipe ← Starija izmjena		Trenutna verzija na dan 16 mart 2013 u 15:54 uredi poništi Addbot (razgovor \| doprinosi) Botovi 53.005 edits m Bot: premještanje 14 međuwiki linkova koji su sada dostupni na stranici d:q7451631 na Wikidati
Red 3: [[Kategorija:Formalni metodi]] [[Kategorija:Matematičke strukture]] ~~[[de:Kategorie:Typentheorie]]~~ ~~[[el:Κατηγορία:Θεωρία τύπων]]~~ ~~[[en:Category:Type theory]]~~ ~~[[eo:Kategorio:Teorio de tipoj]]~~ ~~[[es:Categoría:Teoría de tipos]]~~ ~~[[fa:رده:نظریه نوع‌ها]]~~ ~~[[fr:Catégorie:Théorie des types]]~~ ~~[[id:Kategori:Teori tipe]]~~ ~~[[ja:Category:型理論]]~~ ~~[[ko:분류:형 이론]]~~ ~~[[ms:Kategori:Teori jenis]]~~ ~~[[pt:Categoria:Teoria dos tipos]]~~ ~~[[ru:Категория:Теория типов]]~~ ~~[[zh:Category:类型论]]~~

Razlika između verzija stranice "Kategorija:Teorija vrste"