Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
-S |
|||
Riga 36:
== Voci correlate ==
* [[Logica proposizionale]]
* [[Completezza (logica matematica)
* [[Consistenza (logica matematica)
== Collegamenti esterni ==
* {{Thesaurus BNCF}}
|