Regola di inferenza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: fa:قواعد استنباط |
m Bot: Sistemo sintassi template Portale. Aggiungo: matematica. Tolgo: Matematica. |
||
Riga 21:
* [[Linguaggio del primo ordine]]
* [[Teoria del primo ordine]]
{{Portale|matematica}}
[[Categoria:Logica matematica]]
|