Revisió del 03:31, 3 gen 2014 modifica ArnauBot (discussió \| contribucions) Bots 660.208 edits Robot estandarditza plantilles de referències ← Edició anterior		Revisió del 11:07, 5 gen 2014 modifica desfés Alvaro Vidal-Abarca (discussió \| contribucions) Autopatrullats 19.767 edits m →‎Notes i referències: elimino interwikis, substitueixo per wikidata Edició següent →
Línia 276: [[Categoria:Sistemes lògics]] ~~[[en: First-order logic]]~~ ~~[[es: Lógica de primer orden]]~~ ~~[[fr: Calcul des predicats]]~~

Lògica de primer ordre: diferència entre les revisions