Revisão das 22h36min de 19 de outubro de 2012 editar 189.32.82.52 (discussão) ← Ver a alteração anterior		Revisão das 12h39min de 23 de janeiro de 2013 editar desfazer MerlIwBot (discussão \| contribs) Robôs 358 345 edições m Robô: A adicionar: he:פורמליזם (מתמטיקה) Ver a alteração posterior →
Linha 97: [[fr:Système formel]] [[gd:Siostam foirmeil]] [[he:פורמליזם (מתמטיקה)]] [[hu:Logikai kalkulus]] [[it:Sistema formale]]

Sistema formal: diferenças entre revisões