Lògica de primer ordre: diferència entre les revisions
Contingut suprimit Contingut afegit
Cap resum de modificació |
|||
Línia 267:
[[de: Prädikatenlogik]]
[[en: First-order logic]]
[[es: Lógica de primer orden]]
[[fr: Calcul des predicats]]
| |||