Revisão das 19h31min de 4 de março de 2008 editar OS2Warp (discussão \| contribs) 186 462 edições m Revertidas edições por 189.15.110.190, para a última versão por F.unicamp ← Ver a alteração anterior		Revisão das 21h37min de 11 de setembro de 2008 editar desfazer BotSottile (discussão \| contribs) 9 864 edições m Bot: Adicionando: eo:Tipa teorio Ver a alteração posterior →
Linha 68: [[de:Typentheorie]] [[en:Type theory]] [[eo:Tipa teorio]] [[fr:Théorie des types]] [[he:טיפוס (לוגיקה מתמטית)]]

Teoria dos tipos: diferenças entre revisões