Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza: cronologia delle modifiche
Vai alla navigazione
Vai alla ricerca
Confronto tra versioni: selezionare le caselle corrispondenti alle versioni desiderate e premere Invio o il pulsante in basso.
Legenda: (corr) = differenze con la versione attuale, (prec) = differenze con la versione precedente, m = modifica minore