Decidibilità: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Pokipsy76 (discussione | contributi)
aggiunte e ritocchi
SunBot (discussione | contributi)
m standardizzazione interwiki
Riga 8:
 
[[categoria: logica matematica]]
 
[[en:logicalLogical independence]]