Versione delle 09:05, 17 set 2008 modifica MystBot (discussione \| contributi) 89 502 modifiche m Bot: Aggiungo: ar:نظرية النمط ← Differenza precedente		Versione delle 16:43, 10 apr 2009 modifica annulla RibotBOT (discussione \| contributi) 48 443 modifiche m Bot: Modifico: eo:Teorio de tipoj Differenza successiva →
Riga 30: [[de:Typentheorie]] [[en:Type theory]] [[eo:~~Tipa~~Teorio ~~teorio~~de tipoj]] [[fa:نظریه نوع‌ها]] [[fr:Théorie des types]]

Teoria dei tipi: differenze tra le versioni