Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Collegamenti esterni: Eliminato link con Thesaurus del Nuovo Soggettario perché errato |
|||
Riga 38:
* [[Completezza (logica matematica)]]
* [[Consistenza (logica matematica)]]
{{Portale|matematica}}
|